Otherwise we get an error like this on stderr:
cat: [...]/.git/refs/remotes/origin/master: No such file or directory
which makes it look like git-clone failed.
Signed-off-by: Alexandre Julliard <julliard@winehq.org>
---
git-clone.sh | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
Show changes to git-clone.sh +1 −1
diff --git a/git-clone.sh b/git-clone.sh
index 3d388de..cf761b2 100755
--- a/git-clone.sh
+++ b/git-clone.sh
@@ -355,7 +355,7 @@ then
# The name under $remote_top the remote HEAD seems to point at.
head_points_at=$(
(
- echo "master"
+ test -f "$GIT_DIR/$remote_top/master" && echo "master"
cd "$GIT_DIR/$remote_top" &&
find . -type f -print | sed -e 's/^\.\///'
) | (
--
1.4.4.4.g37ed
--
Alexandre Julliard
julliard@winehq.org