X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=validate;h=b1ae14ffeca4e2b82fde6dbdb231352b8ca0bfc3;hb=f6d254cccd3dc25fff9ff50c2e1bea52b10345e4;hp=8d6e2c3043a9aac3233cc0ab4604c59ba493065e;hpb=6bb8d64a971afce310df3349e8767b790c2845ee;p=ghc-hetmet.git

diff --git a/validate b/validate
old mode 100644
new mode 100755
index 8d6e2c3..b1ae14f
--- a/validate
+++ b/validate
@@ -73,7 +73,7 @@ if [ $no_clean -eq 0 ]; then
         INSTDIR=`cygpath -m "$INSTDIR"`
     fi
 
-    /usr/bin/perl -w boot --required-tag=dph
+    /usr/bin/perl -w boot --validate --required-tag=dph
     ./configure --prefix="$INSTDIR" $config_args
 fi