diff --git a/hub.ios.install.sh b/hub.ios.install.sh index 076d02c..213a9cb 100644 --- a/hub.ios.install.sh +++ b/hub.ios.install.sh @@ -27,7 +27,9 @@ mkdir -p ~/git.ppl.family/ppl pushd ~/git.ppl.family/ppl/ # ~/git.ppl.family/ppl/ - git clone https://git.ppl.family/ppl/ppl.ios.git + if [ ! -e ppl.ios ]; then + git clone https://git.ppl.family/ppl/ppl.ios.git + fi pushd ./ppl.ios/