mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-11-14 12:02:38 +08:00
The standard "are we in docker" checks don't seem to work during a build, so just use an environment variable.
The standard "are we in docker" checks don't seem to work during a build, so just use an environment variable.