diff options
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2005-12-22 22:38:23 +0300 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-12-22 23:52:29 +0300 |
commit | e99fcf96deab45ca81b22948328deb2d8586aa8d (patch) | |
tree | c74b96028e671a6511ad90b095637a9f85fe1c94 | |
parent | 69310a34cb6dcca32b08cf3ea9e91ab19354a874 (diff) |
git-format-patch should show the correct version
We want to record the version of the tools the patch was generated with.
While these tools could be rebuilt, git-format-patch stayed the same and
report the wrong version.
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -397,6 +397,9 @@ $(patsubst %.py,%,$(SCRIPT_PYTHON)) : % : %.py git-cherry-pick: git-revert cp $< $@ +# format-patch records GIT_VERSION +git-format-patch: Makefile + %.o: %.c $(CC) -o $*.o -c $(ALL_CFLAGS) $< %.o: %.S |