diff -r 0710c032eae1 -r fee3af90258e config.lib
--- a/config.lib	Fri Jan 05 17:42:01 2007 +0000
+++ b/config.lib	Fri Jan 05 17:49:46 2007 +0000
@@ -1226,7 +1226,7 @@
 					/sunos/        { print "SUNOS";   exit}
 					/cygwin/       { print "CYGWIN";  exit}
 					/mingw/        { print "MINGW";   exit}
-					/os\/2/        { print "OS2";     exit}
+					/os2/          { print "OS2";     exit}
 		'`
 
 		if [ -z "$os" ]