From 4e2dbabf4cefd7260a0b778bf499eabf6133cc95 Mon Sep 17 00:00:00 2001 From: "Todd C. Miller" Date: Wed, 22 Aug 2012 12:59:34 -0400 Subject: [PATCH] Don't remove files in GENERATED unless DEVEL is set. --HG-- branch : 1.7 --- Makefile.in | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 30967c3a7..73eb2def6 100644 --- a/Makefile.in +++ b/Makefile.in @@ -744,9 +744,13 @@ mostlyclean: clean distclean: clean -rm -rf Makefile pathnames.h config.h config.status config.cache \ - config.log libtool sudoers sudo_noexec.lo .libs $(GENERATED) \ + config.log libtool sudoers sudo_noexec.lo .libs \ sudo.man sudoers.man sudoers.ldap.man sudoreplay.man \ visudo.man sudo_usage.h Makefile.binary zlib/zconf.h + @if [ -n "$(DEVEL)" -a "$(devdir)" != "$(srcdir)" ]; then \ + cmd='rm -rf $(GENERATED)'; \ + echo "$$cmd"; eval $$cmd; \ + fi clobber: distclean -- 2.40.0