projects/generate
branchNewGRF_ports
changeset 6732 ca1b466db422
parent 6720 35756db7e577
child 6871 5a9dc001e1ad
--- a/projects/generate	Sun Jul 22 21:10:59 2007 +0000
+++ b/projects/generate	Sun Jul 22 21:24:42 2007 +0000
@@ -36,6 +36,7 @@
 enable_dedicated="0"
 with_cocoa="0"
 enable_directmusic="1"
+with_threads="1"
 file_prefix="..\\\\src\\\\"
 
 safety_check() {
@@ -84,6 +85,7 @@
 			if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
 			if ($0 == "DIRECTMUSIC" && "'$enable_directmusic'" != "1") { next; }
 			if ($0 == "LIBTIMIDITY" && "'$libtimidity'" == "" )        { next; }
+			if ($0 == "NO_THREADS"  && "'$with_threads'" == "0")       { next; }
 
 			skip += 1;