diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh index 0421c9d8fc..2098dc8300 100755 --- a/Tools/scripts/build_ci.sh +++ b/Tools/scripts/build_ci.sh @@ -58,6 +58,9 @@ function run_autotest() { if [ $NAME == "Rover" ]; then w="$w --enable-math-check-indexes" fi + if [ "x$CI_BUILD_DEBUG" != "x" ]; then + w="$w --debug" + fi Tools/autotest/autotest.py --waf-configure-args="$w" "$BVEHICLE" "$RVEHICLE" ccache -s && ccache -z }