diff -up 0ad-r11863-alpha/build/workspaces/update-workspaces.sh.orig 0ad-r11863-alpha/build/workspaces/update-workspaces.sh
old
|
new
|
fi
|
31 | 31 | |
32 | 32 | premake_args="" |
33 | 33 | |
| 34 | without_nvtt=false |
34 | 35 | with_system_nvtt=false |
35 | 36 | with_system_enet=false |
36 | 37 | with_system_mozjs185=false |
… |
… |
for i in "$@"
|
40 | 41 | do |
41 | 42 | case $i in |
42 | 43 | --with-system-nvtt ) with_system_nvtt=true; premake_args="${premake_args} --with-system-nvtt" ;; |
| 44 | --without-nvtt ) without_nvtt=true; premake_args="${premake_args} --without-nvtt" ;; |
43 | 45 | --with-system-enet ) with_system_enet=true; premake_args="${premake_args} --with-system-enet" ;; |
44 | 46 | --with-system-mozjs185 ) with_system_mozjs185=true; premake_args="${premake_args} --with-system-mozjs185" ;; |
45 | 47 | --enable-atlas ) enable_atlas=true ;; |
… |
… |
if [ "$with_system_mozjs185" = "false" ]
|
69 | 71 | (cd ../../libraries/spidermonkey && MAKE=${MAKE} JOBS=${JOBS} ./build.sh) || die "SpiderMonkey build failed" |
70 | 72 | fi |
71 | 73 | echo |
72 | | if [ "$with_system_nvtt" = "false" ]; then |
| 74 | if [ "$with_system_nvtt" = "false" -a "$without_nvtt" = "false" ]; then |
73 | 75 | (cd ../../libraries/nvtt && MAKE=${MAKE} JOBS=${JOBS} ./build.sh) || die "NVTT build failed" |
74 | 76 | fi |
75 | 77 | echo |