Don't clean gmp when validating (speeds up validation on Windows)

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
 
 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
 clean distclean maintainer-clean ::
        $(RM) -f stamp.gmp.static stamp.gmp.shared
        $(RM) -rf gmpbuild
        $(RM) -rf gmpbuild-shared

+endif

 
 #-----------------------------------------------------------------------------
 #
 
 #-----------------------------------------------------------------------------
 #