summaryrefslogtreecommitdiff
path: root/gmp
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 /gmp
parente1a10e81a655c1ad1116b3e242eed645a045b312 (diff)
downloadhaskell-55d900daf982b0ad18a715b7f83c3bd2deb5138d.tar.gz
don't clean GMP before validating (it rarely changes, and is slow to build)
Diffstat (limited to 'gmp')
-rw-r--r--gmp/ghc.mk2
1 files changed, 2 insertions, 0 deletions
diff --git a/gmp/ghc.mk b/gmp/ghc.mk
index 42c6c16482..7dc168f399 100644
--- a/gmp/ghc.mk
+++ b/gmp/ghc.mk
@@ -95,8 +95,10 @@ gmp/libgmp.a:
$(CP) gmp/gmpbuild/.libs/libgmp.a gmp/
$(RANLIB) gmp/libgmp.a
+ifneq "$(NO_CLEAN_GMP)" "YES"
$(eval $(call clean-target,gmp,,\
gmp/libgmp.a gmp/gmpbuild gmp/$(GMP_DIR)))
+endif
# XXX TODO:
#stamp.gmp.shared: