@${ECHO} "****************************************************************"
$(VERB) exit 1
+# If the Makefile in the source tree has been updated, copy it over into the
+# build tree.
+Makefile :: $(BUILD_SRC_DIR)/Makefile
+ @${ECHO} "===== Updating Makefile from source dir: `dirname $<` ====="
+ cp -f $< $@
+
#
# Include dependencies generated from C/C++ source files, but not if we
# are cleaning (this example taken from the GNU Make Manual).