modified: util/build_detector.sh

util/build_detector.sh

@@ -33,8 +33,9 @@ if [ ! -d ${JUGGLER_DETECTOR} ]; then
 else
   echo "Updating ${JUGGLER_DETECTOR}"
   pushd ${JUGGLER_DETECTOR}
+  git branch 
   git fetch origin
-  git checkout -b ${JUGGLER_DETECTOR_VERSION}
+  git checkout ${JUGGLER_DETECTOR_VERSION}
   popd
 fi
 ## We also need an up-to-date copy of the accelerator. For now this is done