tools: remote --dissociate, make old git client happy

fly7632785 · Mar 21, 2016 · 6e856d6 · 6e856d6
1 parent 7d844dd
commit 6e856d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/pull-repo-ref.sh b/tools/pull-repo-ref.sh
@@ -7,7 +7,7 @@ REF_REPO=$3
 if [ -z $1 -o -z $2 -o -z $3 ]; then
     echo "invalid call pull-repo.sh '$1' '$2' '$3'"
 elif [ ! -d $LOCAL_WORKSPACE ]; then
-    git clone --dissociate --reference $REF_REPO $REMOTE_REPO $LOCAL_WORKSPACE
+    git clone --reference $REF_REPO $REMOTE_REPO $LOCAL_WORKSPACE
     cd $LOCAL_WORKSPACE
     git repack -a
 else