X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=id-clone;h=3f65731ed13315df4de2a91414b8ebdf055cb67e;hb=839efe6d8548bf2453b282bd49cf1deca4ad079f;hp=67632ec530f86b9a114a0f01a77bd8e55698bb0e;hpb=ada6661f32cabd6131194e90280d3ed5bba2d635;p=git-tools-moved-to-github.git

diff --git a/id-clone b/id-clone
index 67632ec..3f65731 100755
--- a/id-clone
+++ b/id-clone
@@ -18,6 +18,8 @@ URL="ssh://git.indexdata.com:/home/git"
     echo "Cloning $URL/pub/$PROJ"
     git clone "$URL/pub/$PROJ"
 
-)
+) ||
+(
+    echo 
     echo "Could not check out $PROJ"
-
+)