diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-08-04 21:46:57 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-08-04 21:46:57 +0000 |
| commit | ea195ee0a74836f2692a96c450240c1caaf75e4c (patch) | |
| tree | eb547425bd945e450d3178595b8e100040d9a73a /validate | |
| parent | 39b529c5fa4138cd359be1f1c5c9c6bdfacd6770 (diff) | |
| download | haskell-ea195ee0a74836f2692a96c450240c1caaf75e4c.tar.gz | |
Don't boot/configure if we are validating --no-clean
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 |