diff --git a/util/build_detector.sh b/util/build_detector.sh index bccf765b24b79d9aa00d5075a1c20f321abfb1fd..17ee5a085faeca3f28d13f364893f338fd26b800 100755 --- a/util/build_detector.sh +++ b/util/build_detector.sh @@ -57,7 +57,8 @@ echo "Building and installing the ${JUGGLER_DETECTOR} package" mkdir -p ${DETECTOR_PREFIX}/build pushd ${DETECTOR_PREFIX}/build -cmake ${DETECTOR_PATH} -DCMAKE_INSTALL_PREFIX=${LOCAL_PREFIX} && make -j30 install +cmake ${DETECTOR_PATH} -DCMAKE_INSTALL_PREFIX=${LOCAL_PREFIX} -DCMAKE_CXX_STANDARD=17 && + make -j30 install || exit 1 ## ============================================================================= ## Step 3: That's all!