:: commit 3725e2f3370e6ca8ffcacae0108bd369a0edbb6e

diff --git a/bootstrap b/bootstrap
index 7f10ee0f..e3750343 100755
--- a/bootstrap
+++ b/bootstrap
@@ -26,7 +26,7 @@ TINF_COMMIT_HASH=57ffa1f1d5e3dde19011b2127bd26d01689b694b
 clone_repo_commit() {
     [ -d $2 ] && (
         set -e
-        if [ -f $2/.git ]; then
+        if [ -d $2/.git ]; then
             git -C $2 checkout $3 || (
                 set -e
                 rm -rf $2