[PATCH] Use $DESTDIR instead of $dest

[git.git] / git-sh-setup-script

diff --git a/git-sh-setup-script b/git-sh-setup-script
old mode 100644 (file)
new mode 100755 (executable)
index 660c524..5bf471f
--- a/git-sh-setup-script
+++ b/git-sh-setup-script
@@ -12,6 +12,6 @@ die() {
 }
 
 [ -d "$GIT_DIR" ] &&
-[ -d "$GIT_DIR/refs" ]
+[ -d "$GIT_DIR/refs" ] &&
 [ -d "$GIT_OBJECT_DIRECTORY" ] &&
 [ -d "$GIT_OBJECT_DIRECTORY/00" ]