diff options
Diffstat (limited to 'validate')
| -rw-r--r-- | validate | 32 |
1 files changed, 16 insertions, 16 deletions
@@ -45,30 +45,30 @@ do shift done +if [ "$CPUS" = "" ]; then + threads=2 +else + threads=`expr $CPUS + 1` +fi + if [ $testsuite_only -eq 0 ]; then if [ $no_clean -eq 0 ] && [ -f mk/config.mk ]; then make distclean -fi -case $OSTYPE in - cygwin|msys) config_args=--build=i386-unknown-mingw32 - if [ -f c:/mingw/bin/gcc.exe ] - then - config_args="$config_args --with-gcc=c:/mingw/bin/gcc" - fi - ;; -esac + case $OSTYPE in + cygwin|msys) config_args=--build=i386-unknown-mingw32 + if [ -f c:/mingw/bin/gcc.exe ] + then + config_args="$config_args --with-gcc=c:/mingw/bin/gcc" + fi + ;; + esac -if [ "$CPUS" = "" ]; then - threads=2 -else - threads=`expr $CPUS + 1` + sh boot + ./configure "--prefix=`pwd`/inst" $config_args fi -sh boot -./configure "--prefix=`pwd`/inst" $config_args - thisdir=`utils/pwd/pwd forwardslash` make Validating=YES -j$threads ValidateHpc=$hpc ValidateSlow=$slow |