summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorMike Frysinger <vapier@gentoo.org>2008-02-04 17:44:23 -0500
committerWolfgang Denk <wd@denx.de>2008-02-14 23:43:24 +0100
commit0ec7a061fb1c277f6afd73d61dd71bd21e7ef7b2 (patch)
tree182dffbddca6872412e6f6abba3606c753490811 /Makefile
parent208447f8e953f347425eb92c8e28d59e6d911363 (diff)
only update version header as needed
Constantly rebuilding the version header will force useless relinking, so we simply need to compare the new header with the existing one before updating it. Signed-off-by: Mike Frysinger <vapier@gentoo.org>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 9225a2d350..969ce42ec0 100644
--- a/Makefile
+++ b/Makefile
@@ -343,7 +343,8 @@ $(VERSION_FILE):
echo -n "$(U_BOOT_VERSION)" ; \
echo -n $(shell $(CONFIG_SHELL) $(TOPDIR)/tools/setlocalversion \
$(TOPDIR)) ; \
- echo "\"" ) > $(VERSION_FILE)
+ echo "\"" ) > $@.tmp
+ @cmp -s $@ $@.tmp && rm -f $@.tmp || mv -f $@.tmp $@
gdbtools:
$(MAKE) -C tools/gdb all || exit 1