diff --git a/Tools/scripts/build_all_px4.sh b/Tools/scripts/build_all_px4.sh index bb50b27231..48c5a26c36 100755 --- a/Tools/scripts/build_all_px4.sh +++ b/Tools/scripts/build_all_px4.sh @@ -11,7 +11,7 @@ set -x git submodule init git submodule update --recursive -builds="px4-v1 px4-v2 px4-v3 px4-v4" +builds="px4-v1 px4-v2 px4-v3 px4-v4 px4-v4pro" for b in $builds; do echo "Testing $b build"