From a477ca1856ce476d73b4120a6b26f524ec910fe3 Mon Sep 17 00:00:00 2001 From: AJ ONeal Date: Thu, 31 May 2018 23:33:54 -0600 Subject: [PATCH] don't clone if it exists --- hub.ios.install.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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/