configure
changeset 5840 a1dba7cd499c
parent 5811 cb94a44f0e29
child 6004 03795fd01cb8
--- a/configure	Wed Jan 10 19:00:08 2007 +0000
+++ b/configure	Wed Jan 10 19:13:33 2007 +0000
@@ -72,6 +72,7 @@
 
 		if ($0 == "SDL"         && "'$sdl_config'" == "")          { next; }
 		if ($0 == "OSX"         && "'$os'" != "OSX")               { next; }
+		if ($0 == "OS2"         && "'$os'" != "OS2")               { next; }
 		if ($0 == "DEDICATED"   && "'$enable_dedicated'" != "1")   { next; }
 		if ($0 == "COCOA"       && "'$with_cocoa'" == "0")         { next; }
 		if ($0 == "BEOS"        && "'$os'" != "BEOS")              { next; }