diff options
Diffstat (limited to 'Src/Makefile.in')
-rw-r--r-- | Src/Makefile.in | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Src/Makefile.in b/Src/Makefile.in index dd96aaf90..e98a696e4 100644 --- a/Src/Makefile.in +++ b/Src/Makefile.in @@ -205,8 +205,12 @@ clean: clean-modules distclean: distclean-modules realclean: realclean-modules -mostlyclean-modules clean-modules distclean-modules realclean-modules: Makemod - @$(MAKE) -f Makemod $(MAKEDEFS) `echo $@ | sed 's/-modules//'` +# Don't remake Makemod just to delete things, even if it doesn't exist. +mostlyclean-modules clean-modules distclean-modules realclean-modules: + if test -f Makemod; then \ + @$(MAKE) -f Makemod $(MAKEDEFS) `echo $@ | sed 's/-modules//'`; \ + fi; \ + exit 0 @CLEAN_MK@ |