diff options
Diffstat (limited to 'defs/gmake.mk')
-rw-r--r-- | defs/gmake.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/defs/gmake.mk b/defs/gmake.mk index a4acb679f9..49934c5f01 100644 --- a/defs/gmake.mk +++ b/defs/gmake.mk @@ -185,6 +185,10 @@ $(MJIT_MIN_HEADER): $(mjit_min_headers) $(PREP) endif +# GNU make treat the target as unmodified when its dependents get +# updated but it is not updated, while others may not. +$(srcdir)/revision.h: $(REVISION_H) + # Query on the generated rdoc # # $ make rdoc:Integer#+ |