summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2017-05-26 18:27:37 -0400
committerBen Gamari <ben@smart-cactus.org>2017-05-26 18:27:37 -0400
commit7fce4cbc0e0d00352826c5ef1d7f6bf8dbb826b9 (patch)
tree6ccf8b52da4f1a8e43af21a4a142b3abe403f543 /validate
parent19c4203f12a849e1d468d7c1de5cd6bfe75a4bc1 (diff)
downloadhaskell-7fce4cbc0e0d00352826c5ef1d7f6bf8dbb826b9.tar.gz
Revert "Rewrite boot in Python"
This reverts commit 0440af6abe592c2366d302d603664fe763ad0828. Unfortunately this breaks on Windows for tiresome reasons. I'll need to reevaluate this.
Diffstat (limited to 'validate')
-rwxr-xr-xvalidate4
1 files changed, 2 insertions, 2 deletions
diff --git a/validate b/validate
index 152a00206c..09f4fd2f23 100755
--- a/validate
+++ b/validate
@@ -181,9 +181,9 @@ if [ $no_clean -eq 0 ]; then
INSTDIR="$thisdir/inst"
if [ $use_dph -eq 1 ]; then
- python3 ./boot --validate --required-tag=dph
+ perl -w boot --validate --required-tag=dph
else
- python3 ./boot --validate
+ perl -w boot --validate
fi
./configure --prefix="$INSTDIR" $config_args
fi