diff --git a/scripts/git-checkout.sh b/scripts/git-checkout.sh index 15b3ce9661..20ae31ff23 100755 --- a/scripts/git-checkout.sh +++ b/scripts/git-checkout.sh @@ -13,7 +13,7 @@ set -e if test \! -d $DIR-remote; then rm -rf $DIR-remote $DIR-remote.tmp - mkdir $DIR-remote.tmp; rmdir $DIR-remote.tmp + mkdir -p $DIR-remote.tmp; rmdir $DIR-remote.tmp $GIT clone $TREE $DIR-remote.tmp if test "$TAG" ; then cd $DIR-remote.tmp