summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorSimon Marlow <marlowsd@gmail.com>2009-05-21 07:48:40 +0000
committerSimon Marlow <marlowsd@gmail.com>2009-05-21 07:48:40 +0000
commit55d900daf982b0ad18a715b7f83c3bd2deb5138d (patch)
tree19f0475c28af99281ad1437d087dc27799ceac1c /validate
parente1a10e81a655c1ad1116b3e242eed645a045b312 (diff)
downloadhaskell-55d900daf982b0ad18a715b7f83c3bd2deb5138d.tar.gz
don't clean GMP before validating (it rarely changes, and is slow to build)
Diffstat (limited to 'validate')
-rw-r--r--validate2
1 files changed, 1 insertions, 1 deletions
diff --git a/validate b/validate
index 889daae03e..8c3c2195c8 100644
--- a/validate
+++ b/validate
@@ -55,7 +55,7 @@ if [ $testsuite_only -eq 0 ]; then
if [ $no_clean -eq 0 ]; then
if [ -f mk/config.mk ]; then
- make maintainer-clean
+ make maintainer-clean NO_CLEAN_GMP=YES
fi
INSTDIR=`pwd`/inst