Big tool rename.

[thirdparty/git.git] / git-checkout.sh

diff --git a/git-checkout-script b/git-checkout.sh
similarity index 94%
rename from git-checkout-script
rename to git-checkout.sh
index b31ded716d470a4975512ebc4cb912b3adb5fb7f..4e7c57a5f39894c85a6b1f8f2e1eee444808c57f 100755 (executable)
--- a/git-checkout-script
+++ b/git-checkout.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-. git-sh-setup-script || die "Not a git archive"
+. git-sh-setup || die "Not a git archive"
 
 old=$(git-rev-parse HEAD)
 new=
@@ -53,7 +53,7 @@ done
 if [ "$force" ]
 then
     git-read-tree --reset $new &&
-       git-checkout-cache -q -f -u -a
+       git-checkout-index -q -f -u -a
 else
     git-read-tree -m -u $old $new
 fi