diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2005-12-22 20:38:23 +0100 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-12-22 12:52:29 -0800 |
| commit | e99fcf96deab45ca81b22948328deb2d8586aa8d (patch) | |
| tree | c74b96028e671a6511ad90b095637a9f85fe1c94 /Makefile | |
| parent | 69310a34cb6dcca32b08cf3ea9e91ab19354a874 (diff) | |
| download | git-e99fcf96deab45ca81b22948328deb2d8586aa8d.tar.gz git-e99fcf96deab45ca81b22948328deb2d8586aa8d.tar.xz | |
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>
Diffstat (limited to 'Makefile')
| -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 |