Skip to content
Snippets Groups Projects

Detector update fix

Merged Whitney Armstrong requested to merge detector_update_fix into master
1 file
+ 2
1
Compare changes
  • Side-by-side
  • Inline
+ 2
1
@@ -33,7 +33,8 @@ if [ ! -d ${JUGGLER_DETECTOR} ]; then
else
echo "Updating ${JUGGLER_DETECTOR}"
pushd ${JUGGLER_DETECTOR}
git pull --ff-only
git fetch origin
git checkout -b ${JUGGLER_DETECTOR_VERSION}
popd
fi
## We also need an up-to-date copy of the accelerator. For now this is done
Loading