diff options
| -rw-r--r-- | Makefile.rules | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.rules b/Makefile.rules index 01a99418c3..cd82e13958 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -762,6 +762,7 @@ $(MAKE_CONFIG): $(MAKE_CONFIG_IN) #------------------------------------------------------------------------ # If the Makefile in the source tree has been updated, copy it over into the # build tree. +ifneq ($(OBJMKFILE),$(SRCMKFILE)) .PRECIOUS: $(OBJMKFILE) $(OBJMKFILE): $(SRCMKFILE) @$(ECHO) "Updating Makefile from : $(dir $<)" @@ -769,6 +770,7 @@ $(OBJMKFILE): $(SRCMKFILE) $(VERB) cp -f $< $@ $(VERB) $(MAKE) $(MAKEFLAGS) $(MAKECMDGOALS) @exit 0; +endif ############################################################################### # MISCELLANEOUS - utility targets |