Don't build or test dph by default

Signed-off-by: Austin Seipp <austin@well-typed.com>

1 files changed, 10 insertions, 13 deletions

diff --git a/validate b/validate
index cabb86c7d3..3e1fde66b3 100755
--- a/validate
+++ b/validate
@@ -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