mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-15 14:53:32 +08:00
the build server uses a copy of build_binaries.py, so __file__ isn't the right directory
the build server uses a copy of build_binaries.py, so __file__ isn't the right directory