diff options
| author | Junio C Hamano <gitster@pobox.com> | 2025-06-06 09:41:59 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2025-06-06 09:41:59 -0700 |
| commit | 83cb7ae638f7eb108d107b0430a01648fb861e2c (patch) | |
| tree | 16057c9e498736fb19142e66854bc333761807a5 | |
| parent | 14de3eb34435db79c6e7edc8082c302a26a8330a (diff) | |
| parent | 765f1db2b5a890c0fa01f8976f197a8483357afe (diff) | |
Merge branch 'master' of https://github.com/j6t/git-gui
* 'master' of https://github.com/j6t/git-gui:
git-gui: don't delete source files when auto_mkindex fails
| -rwxr-xr-x | git-gui/generate-tclindex.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-gui/generate-tclindex.sh b/git-gui/generate-tclindex.sh index 36e3a0bd90..0b031d8339 100755 --- a/git-gui/generate-tclindex.sh +++ b/git-gui/generate-tclindex.sh @@ -23,7 +23,7 @@ then : ok else echo >&2 " * $TCL_PATH failed; using unoptimized loading" - rm -f $@ + rm -f lib/tclIndex echo '# Autogenerated by git-gui Makefile' >lib/tclIndex echo >>lib/tclIndex echo "class.tcl" >>lib/tclIndex |