Don't remove files in GENERATED unless DEVEL is set.

--HG--
branch : 1.7

diff --git a/Makefile.in b/Makefile.in
index 30967c3a7ef70e00629eb6310b9507dbc4403c49..73eb2def6fe3a6839f8de91b7b0da7d69d033b94 100644 (file)
--- 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