diff options
| -rwxr-xr-x | BUILD/compile-pentium | 2 | ||||
| -rwxr-xr-x | BUILD/compile-pentium-valgrind-max | 2 | ||||
| -rwxr-xr-x | BUILD/compile-pentium64 | 2 | ||||
| -rwxr-xr-x | BUILD/compile-pentium64-max | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/BUILD/compile-pentium b/BUILD/compile-pentium index 38d1ff42baf..b8f8d028e1f 100755 --- a/BUILD/compile-pentium +++ b/BUILD/compile-pentium @@ -1,7 +1,7 @@ #! /bin/sh path=`dirname $0` -. "$path/SETUP.sh" $@ +. "$path/SETUP.sh" extra_flags="$pentium_cflags $fast_cflags" extra_configs="$pentium_configs $static_link" diff --git a/BUILD/compile-pentium-valgrind-max b/BUILD/compile-pentium-valgrind-max index a2715e7c378..09cc162d2be 100755 --- a/BUILD/compile-pentium-valgrind-max +++ b/BUILD/compile-pentium-valgrind-max @@ -1,7 +1,7 @@ #! /bin/sh path=`dirname $0` -. "$path/SETUP.sh" "$@" +. "$path/SETUP.sh" extra_flags="$pentium_cflags $debug_cflags $valgrind_flags" extra_configs="$pentium_configs $debug_configs $max_configs" diff --git a/BUILD/compile-pentium64 b/BUILD/compile-pentium64 index bc6bbe4d089..3a8fad51fea 100755 --- a/BUILD/compile-pentium64 +++ b/BUILD/compile-pentium64 @@ -1,7 +1,7 @@ #! /bin/sh path=`dirname $0` -. "$path/SETUP.sh" $@ +. "$path/SETUP.sh" extra_flags="$pentium64_cflags $fast_cflags" extra_configs="$pentium_configs $static_link" diff --git a/BUILD/compile-pentium64-max b/BUILD/compile-pentium64-max index 789136a84dc..9acd5e7c460 100755 --- a/BUILD/compile-pentium64-max +++ b/BUILD/compile-pentium64-max @@ -1,7 +1,7 @@ #! /bin/sh path=`dirname $0` -. "$path/SETUP.sh" $@ +. "$path/SETUP.sh" extra_flags="$pentium64_cflags $fast_cflags" extra_configs="$pentium_configs $max_configs $static_link" |