summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>2018-10-15 13:32:54 -0400
committerBen Gamari <ben@smart-cactus.org>2018-10-15 17:41:48 -0400
commita816ac48b01bfc2419c11c9f2ef999e9bda7e95f (patch)
tree61c893c2ccd7064060711442b19942d31f0f1544 /validate
parent01c3d00a4ef49c3f7310402d8d635f69cbf9ee64 (diff)
downloadhaskell-a816ac48b01bfc2419c11c9f2ef999e9bda7e95f.tar.gz
Cleanup boot and validate
- Remove dph from validate; dph was removed - The required-tag argument to boot was used only for dph, remove - check_boot_packages() was not called at all, and didn't work. I fixed it based on previous Perl version. Test Plan: Harbormaster Reviewers: bgamari, thomie Reviewed By: bgamari Subscribers: rwbarton, carter Differential Revision: https://phabricator.haskell.org/D5129
Diffstat (limited to 'validate')
-rwxr-xr-xvalidate14
1 files changed, 1 insertions, 13 deletions
diff --git a/validate b/validate
index 2f82b2800b..8ceaa6105d 100755
--- a/validate
+++ b/validate
@@ -23,7 +23,6 @@ Flags:
--slow Build stage2 with -DDEBUG. Run tests for all WAYS,
but skip those that call compiler_stats_num_field.
2008-07-01: 14% slower than the default.
- --dph Also build libraries/dph and run associated tests.
--quiet More pretty build log.
See Note [Default build system verbosity].
--help shows this usage help.
@@ -50,7 +49,6 @@ testsuite_only=0
build_only=0
hpc=NO
speed=NORMAL
-use_dph=0
be_quiet=0
# Validate uses gzip compression for the binary distribution to avoid the rather
# heavy cost of xz, which is the typical default. The options are defined in
@@ -81,12 +79,6 @@ do
--normal) # for backward compat
speed=NORMAL
;;
- --no-dph) # for backward compat
- use_dph=0
- ;;
- --dph)
- use_dph=1
- ;;
--quiet)
be_quiet=1
;;
@@ -158,11 +150,7 @@ if [ $no_clean -eq 0 ]; then
INSTDIR="$thisdir/inst"
- if [ $use_dph -eq 1 ]; then
- python3 ./boot --validate --required-tag=dph
- else
- python3 ./boot --validate
- fi
+ python3 ./boot --validate
./configure --prefix="$INSTDIR" $config_args
fi