projects/generate
changeset 5774 366632561f10
parent 5512 a7ed0d7f61fa
child 6045 20affba87a19
--- a/projects/generate	Sun Jan 21 19:31:29 2007 +0000
+++ b/projects/generate	Sun Jan 21 19:40:38 2007 +0000
@@ -58,6 +58,7 @@
 			if ($0 == "BEOS"        && "'$os'" != "BEOS")              { next; }
 			if ($0 == "WIN32"       && "'$os'" != "MINGW" &&
 											"'$os'" != "CYGWIN" && "'$os'" != "MSVC" ) { next; }
+			if ($0 == "WINCE"       && "'$os'" != "WINCE")             { next; }
 			if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
 			if ($0 == "DIRECTMUSIC" && "'$enable_directmusic'" != "1") { next; }