diff --git a/Tools/scripts/build_binaries.py b/Tools/scripts/build_binaries.py index a9bf5401a3..457d9ecd60 100755 --- a/Tools/scripts/build_binaries.py +++ b/Tools/scripts/build_binaries.py @@ -522,7 +522,7 @@ is bob we will attempt to checkout bob-AVR''' "airbotf4", "revo-mini", "CubeBlack", - "CubePurple" + "CubePurple", "Pixhawk1", "Pixhawk4", "PH4-mini",