Only clone if directory does not exist

This commit is contained in:
Julian Ospald 2017-08-08 19:34:05 +02:00
parent c3e578436d
commit b818427342
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 1 additions and 1 deletions

2
run.sh
View File

@ -9,7 +9,7 @@ fi
repo=$1
git clone ${repo} /website
[[ -e "/website" ]] || git clone ${repo} /website
cd /website
cabal install