diff options
Diffstat (limited to 'Src/Makemod.in.in')
| -rw-r--r-- | Src/Makemod.in.in | 3 |
1 files changed, 2 insertions, 1 deletions
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 |