build: fix build issues with pegged ndn-cxx
Change-Id: I0f000455d1eaf974d85ed76414af8710bc44dad4
diff --git a/.jenkins.d/10-ndn-cxx.sh b/.jenkins.d/10-ndn-cxx.sh
index 8b9441a..c23a0bc 100755
--- a/.jenkins.d/10-ndn-cxx.sh
+++ b/.jenkins.d/10-ndn-cxx.sh
@@ -24,10 +24,9 @@
sudo rm -Rf ndn-cxx-latest
## Remove this when #3920 and #4119 merge
-if [ ! -d "ndn-cxx-hotfix" ]; then
- ## Remove '-hotfix' off the end when #3920 and #4119 merge.
- git clone git://github.com/named-data/ndn-cxx ndn-cxx-hotfix
-fi
+sudo rm -Rf ndn-cxx-hotfix
+git clone git://github.com/named-data/ndn-cxx ndn-cxx-hotfix
+
## Uncomment when #3920 and #4119 merge.
# LATEST_VERSION=$((cd ndn-cxx-latest && git rev-parse HEAD) 2>/dev/null || echo UNKNOWN)