commit b9e2c650e6c5726f9abe0bcc5bce00ed30bab5cc
author Nick Gordon <nmgordon@memphis.edu> Tue Jun 20 13:37:55 2017 -0500
committer Nick Gordon <nmgordon@memphis.edu> Tue Jun 20 13:12:02 2017 -0700
tree fa3969fab6b93132d28e461a67ebcc6b90158759
parent 494de4033d492d24c93ed73121a39ac5b7b3f2c7

build: Fixed ChronoSync not being found on OS X.

Change-Id: I79dfa5bb8c25d6922c1e7b7529953fb2fb2fcae2

.jenkins.d/11-chronosync.sh

diff --git a/.jenkins.d/11-chronosync.sh b/.jenkins.d/11-chronosync.sh
index 1f7d6c1..eafc573 100755
--- a/.jenkins.d/11-chronosync.sh
+++ b/.jenkins.d/11-chronosync.sh
@@ -23,9 +23,8 @@
 
 sudo rm -Rf ChronoSync-latest
 ## Remove line when #3920 and #4119 merge.
-if [ ! -d "ChronoSync-hotfix" ]; then
-    git clone git://github.com/named-data/ChronoSync ChronoSync-hotfix
-fi
+sudo rm -rf ChronoSync-hotfix
+git clone git://github.com/named-data/ChronoSync ChronoSync-hotfix
 
 # LATEST_VERSION=$((cd ChronoSync-latest && git rev-parse HEAD) 2>/dev/null || echo UNKNOWN)