diff --git a/Tools/scripts/build_binaries.py b/Tools/scripts/build_binaries.py index eb515d3e85..4242b0e73d 100755 --- a/Tools/scripts/build_binaries.py +++ b/Tools/scripts/build_binaries.py @@ -508,6 +508,7 @@ is bob we will attempt to checkout bob-AVR''' "airbotf4", "revo-mini", "CubeBlack", + "Pixhawk1", "Pixhawk4", "PH4-mini", "CUAVv5",