config.lib
changeset 5539 a77ac9a34e98
parent 5538 21fffaa130f9
child 5541 f034f6f60d88
--- 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" ]