X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=gmp%2FMakefile;fp=gmp%2FMakefile;h=13faf9f17075ca318c3857d1825b844ec139f001;hp=750dfb6c6c8f0539769c1c8821c4ea76240cbeca;hb=ea56c4863d14e1ceaaa36ecf407f079ab675a231;hpb=ee780821a6416a059edd978af340dc89d7447d63

diff --git a/gmp/Makefile b/gmp/Makefile
index 750dfb6..13faf9f 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
 
 #-----------------------------------------------------------------------------
 #