diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh index 22694ecdd6..9dc9c56a93 100755 --- a/Tools/scripts/build_ci.sh +++ b/Tools/scripts/build_ci.sh @@ -380,6 +380,11 @@ for t in $CI_BUILD_TARGET; do --board=CubeOrange \ --build-targets=copter \ --build-targets=plane + echo "Checking all/none options in build_options.py work" + time ./Tools/autotest/test_build_options.py \ + --no-disable-in-turn \ + --build-targets=copter \ + --build-targets=plane continue fi