diff --git a/util/build_detector.sh b/util/build_detector.sh index c8f7be41aabd3b4917f50d9ea37fbe84ea542b4e..39376e21b6ac2d72f204826a5425dd8d6493d5ab 100755 --- a/util/build_detector.sh +++ b/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