projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ee78082
)
Don't clean gmp when validating (speeds up validation on Windows)
author
Simon Marlow
<simonmar@microsoft.com>
Wed, 17 Oct 2007 10:09:08 +0000
(10:09 +0000)
committer
Simon Marlow
<simonmar@microsoft.com>
Wed, 17 Oct 2007 10:09:08 +0000
(10:09 +0000)
gmp/Makefile
patch
|
blob
|
history
diff --git
a/gmp/Makefile
b/gmp/Makefile
index
750dfb6
..
13faf9f
100644
(file)
--- a/
gmp/Makefile
+++ b/
gmp/Makefile
@@
-99,10
+99,15
@@
libgmp.dll.a: libgmp-3.dll
endif
endif
+# GMP takes a long time to build, but changes rarely. Hence we don't
+# bother cleaning it before validating, because that adds a
+# significant overhead to validation.
+ifeq "$(Validating)" "NO"
clean distclean maintainer-clean ::
$(RM) -f stamp.gmp.static stamp.gmp.shared
$(RM) -rf gmpbuild
$(RM) -rf gmpbuild-shared
+endif
#-----------------------------------------------------------------------------
#