diff options
| author | Mike Frysinger | 2008-02-04 17:44:23 -0500 |
|---|---|---|
| committer | Wolfgang Denk | 2008-02-14 23:43:24 +0100 |
| commit | 0ec7a061fb1c277f6afd73d61dd71bd21e7ef7b2 (patch) | |
| tree | 182dffbddca6872412e6f6abba3606c753490811 | |
| parent | 208447f8e953f347425eb92c8e28d59e6d911363 (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>
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |