Skip to content
Snippets Groups Projects

modified: util/build_detector.sh

Merged modified: util/build_detector.sh
det_build_update into master
Merged Whitney Armstrong requested to merge det_build_update into master
Compare
and
1 file
+ 2
− 1
Compare changes
  • Side-by-side
  • Inline
util/build_detector.sh
+ 2
− 1
@@ -33,8 +33,9 @@ if [ ! -d ${JUGGLER_DETECTOR} ]; then
@@ -33,8 +33,9 @@ if [ ! -d ${JUGGLER_DETECTOR} ]; then
else
else
echo "Updating ${JUGGLER_DETECTOR}"
echo "Updating ${JUGGLER_DETECTOR}"
pushd ${JUGGLER_DETECTOR}
pushd ${JUGGLER_DETECTOR}
 
git branch
git fetch origin
git fetch origin
git checkout -b ${JUGGLER_DETECTOR_VERSION}
git checkout ${JUGGLER_DETECTOR_VERSION}
popd
popd
fi
fi
## We also need an up-to-date copy of the accelerator. For now this is done
## We also need an up-to-date copy of the accelerator. For now this is done