BUG#27701 don't pass arguments to sourced script if they're not modified as...

BUG#27701 don't pass arguments to sourced script if they're not modified as this is either a no-op (if done correctly), a different no-op with some shells (if done the bash way, but with correct quoting) or breaks arguments with whitespace for some shells (if done the bash way, without quotes).

BUILD/compile-pentium

 #! /bin/sh
 
 path=`dirname $0`
-. "$path/SETUP.sh" $@
+. "$path/SETUP.sh"
 
 extra_flags="$pentium_cflags $fast_cflags"
 extra_configs="$pentium_configs $static_link"

BUILD/compile-pentium-valgrind-max

 #! /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"

BUILD/compile-pentium64

 #! /bin/sh
 
 path=`dirname $0`
-. "$path/SETUP.sh" $@
+. "$path/SETUP.sh"
 
 extra_flags="$pentium64_cflags $fast_cflags"
 extra_configs="$pentium_configs $static_link"

BUILD/compile-pentium64-max

 #! /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"