diff options
Diffstat (limited to 'projects')
| -rwxr-xr-x | projects/generate | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/projects/generate b/projects/generate index 035fd0a12..a57803529 100755 --- a/projects/generate +++ b/projects/generate @@ -85,6 +85,7 @@ load_main_data() { if ($0 == "OSX" && "'$os'" != "OSX") { next; } if ($0 == "OS2" && "'$os'" != "OS2") { next; } if ($0 == "PSP" && "'$os'" != "PSP") { next; } + if ($0 == "DOS" && "'$os'" != "DOS") { next; } if ($0 == "DEDICATED" && "'$enable_dedicated'" != "1") { next; } if ($0 == "COCOA" && "'$with_cocoa'" == "0") { next; } if ($0 == "BEOS" && "'$os'" != "BEOS") { next; } |