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