diff options
| author | Simon Marlow <simonmar@microsoft.com> | 2007-10-17 10:09:08 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmar@microsoft.com> | 2007-10-17 10:09:08 +0000 |
| commit | ea56c4863d14e1ceaaa36ecf407f079ab675a231 (patch) | |
| tree | 2221bc240fea0f27dce83576828e7bb4ed537cb8 /gmp | |
| parent | ee780821a6416a059edd978af340dc89d7447d63 (diff) | |
| download | haskell-ea56c4863d14e1ceaaa36ecf407f079ab675a231.tar.gz | |
Don't clean gmp when validating (speeds up validation on Windows)
Diffstat (limited to 'gmp')
| -rw-r--r-- | gmp/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gmp/Makefile b/gmp/Makefile index 750dfb6c6c..13faf9f170 100644 --- 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 #----------------------------------------------------------------------------- # |