diff options
Diffstat (limited to 'Src')
| -rw-r--r-- | Src/Makefile.in | 3 | ||||
| -rw-r--r-- | Src/Makemod.in.in | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/Src/Makefile.in b/Src/Makefile.in index cf1104825..0577554f8 100644 --- a/Src/Makefile.in +++ b/Src/Makefile.in @@ -221,9 +221,6 @@ mostlyclean-modules clean-modules distclean-modules realclean-modules: install.modules uninstall.modules \ modobjs modules headers proto $(MAIN_OBJS) zsh.export: Makemod - @if [ ! -f Builtins/Makefile.in ]; then \ - $(MAKE) prep; \ - fi @$(MAKE) -f Makemod $(MAKEDEFS) $@ .PHONY: install.modules uninstall.modules headers proto diff --git a/Src/Makemod.in.in b/Src/Makemod.in.in index 3ba9f9b04..9a606d14a 100644 --- a/Src/Makemod.in.in +++ b/Src/Makemod.in.in @@ -116,8 +116,9 @@ prep: done .PHONY: prep -headers prep: $(dir_src)/modules.stamp +headers: $(dir_src)/modules.stamp $(dir_src)/modules.stamp: $(MDDS) + $(MAKE) -f $(makefile) $(MAKEDEFS) prep echo 'timestamp for *.mdd files' > $@ .PHONY: headers |