mirror of
https://github.com/git/git.git
synced 2025-12-12 20:36:24 +01:00
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
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user