From ea56c4863d14e1ceaaa36ecf407f079ab675a231 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 17 Oct 2007 10:09:08 +0000 Subject: [PATCH] Don't clean gmp when validating (speeds up validation on Windows) --- gmp/Makefile | 5 +++++ 1 file changed, 5 insertions(+) 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 #----------------------------------------------------------------------------- # -- 1.7.10.4