diff options
Diffstat (limited to 'validate')
-rwxr-xr-x | validate | 23 |
1 files changed, 10 insertions, 13 deletions
@@ -22,10 +22,7 @@ Flags: --fast Omit dyn way, omit binary distribution --slow Build stage2 with -DDEBUG. 2008-07-01: 14% slower than the default. - --no-dph: Skip building libraries/dph and running associated tests. - In --slow mode, these tests can take a substantial amount - of time, and on some platforms with broken linkers, we - don't want to try compiling it. + --dph: Also build libraries/dph and run associated tests. --help shows this usage help. Set environment variable 'CPUS' to number of cores, to exploit @@ -40,7 +37,7 @@ no_clean=0 testsuite_only=0 hpc=NO speed=NORMAL -skip_dph=0 +use_dph=0 while [ $# -gt 0 ] do @@ -63,8 +60,8 @@ do --normal) speed=NORMAL ;; - --no-dph) - skip_dph=1 + --dph) + use_dph=1 ;; --help) show_help @@ -122,10 +119,10 @@ if [ $no_clean -eq 0 ]; then INSTDIR=`cygpath -m "$INSTDIR"` fi - if [ $skip_dph -eq 1 ]; then - /usr/bin/perl -w boot --validate - else + if [ $use_dph -eq 1 ]; then /usr/bin/perl -w boot --validate --required-tag=dph + else + /usr/bin/perl -w boot --validate fi ./configure --prefix="$INSTDIR" $config_args fi @@ -136,10 +133,10 @@ echo "Validating=YES" > mk/are-validating.mk echo "ValidateSpeed=$speed" >> mk/are-validating.mk echo "ValidateHpc=$hpc" >> mk/are-validating.mk -if [ $skip_dph -eq 1 ]; then - echo "BUILD_DPH=NO" >> mk/are-validating.mk -else +if [ $use_dph -eq 1 ]; then echo "BUILD_DPH=YES" >> mk/are-validating.mk +else + echo "BUILD_DPH=NO" >> mk/are-validating.mk fi $make -j$threads |