diff options
| -rw-r--r-- | gmp/ghc.mk | 2 | ||||
| -rw-r--r-- | validate | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/gmp/ghc.mk b/gmp/ghc.mk index 42c6c16482..7dc168f399 100644 --- a/gmp/ghc.mk +++ b/gmp/ghc.mk @@ -95,8 +95,10 @@ gmp/libgmp.a: $(CP) gmp/gmpbuild/.libs/libgmp.a gmp/ $(RANLIB) gmp/libgmp.a +ifneq "$(NO_CLEAN_GMP)" "YES" $(eval $(call clean-target,gmp,,\ gmp/libgmp.a gmp/gmpbuild gmp/$(GMP_DIR))) +endif # XXX TODO: #stamp.gmp.shared: @@ -55,7 +55,7 @@ if [ $testsuite_only -eq 0 ]; then if [ $no_clean -eq 0 ]; then if [ -f mk/config.mk ]; then - make maintainer-clean + make maintainer-clean NO_CLEAN_GMP=YES fi INSTDIR=`pwd`/inst |