add -fflatten and -funsafe-skolemize flags

[ghc-hetmet.git] / validate

diff --git a/validate b/validate
index 8d6e2c3..b1ae14f 100755 (executable)
--- 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