diff options
author | Ben Gamari <ben@smart-cactus.org> | 2017-05-26 18:27:37 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-05-26 18:27:37 -0400 |
commit | 7fce4cbc0e0d00352826c5ef1d7f6bf8dbb826b9 (patch) | |
tree | 6ccf8b52da4f1a8e43af21a4a142b3abe403f543 /validate | |
parent | 19c4203f12a849e1d468d7c1de5cd6bfe75a4bc1 (diff) | |
download | haskell-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-x | validate | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |