diff options
author | Jonathan Nieder <jrnieder@gmail.com> | 2016-07-01 17:32:00 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-11-22 14:56:30 +0900 |
commit | 7513595a3b997e07ad525b213b83e4f0bd358bb9 (patch) | |
tree | eb7cb13e48c421f75864705e4d28b30605ed5be2 /git-gui/Makefile | |
parent | Sync with maint (diff) | |
download | tgif-7513595a3b997e07ad525b213b83e4f0bd358bb9.tar.xz |
generate-cmdlist: avoid non-deterministic output
Non-determinism makes it harder for build tools to discover when a
target needs to be rebuilt.
generate-cmdlist.sh stores the full path in a comment:
/* Automatically generated by /build/git-agojiD/git-2.15.0/generate-cmdlist.sh */
Use the file name alone instead.
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/Makefile')
0 files changed, 0 insertions, 0 deletions