Mirror/ardupilot
5
0
Fork 0
mirror of https://github.com/ArduPilot/ardupilot synced 2025-01-03 14:38:30 -04:00
Code Issues Packages Projects Releases Wiki Activity

Tools: scripts: build_ci.sh: understand env CI_BUILD_DEBUG

Browse Source
This commit is contained in:
Peter Barker 2019-09-05 07:55:39 +10:00 committed by Peter Barker
parent 15308af230
commit 6352e10811
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Tools/scripts/build_ci.sh
View File

@ -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
}