diff options
| author | Jonathan Nieder <jrnieder@gmail.com> | 2016-07-02 03:32:00 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-11-22 08:56:30 +0300 |
| commit | 7513595a3b997e07ad525b213b83e4f0bd358bb9 (patch) | |
| tree | eb7cb13e48c421f75864705e4d28b30605ed5be2 /git-gui | |
| parent | 14c63a9dc093d6738454f6369a4f5663ca732cf7 (diff) | |
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')
0 files changed, 0 insertions, 0 deletions