#------------------------------------------------------------------------
# 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 $<)"
$(VERB) cp -f $< $@
$(VERB) $(MAKE) $(MAKEFLAGS) $(MAKECMDGOALS)
@exit 0;
+endif
###############################################################################
# MISCELLANEOUS - utility targets