| #!/bin/bash | |
| # Copy and remotely execute a binary on the marlin32 device. | |
| # | |
| # For this to work, the corresponding adb_marlin32 wrapper | |
| # must exist to tell adb the serial number of the device. | |
| GOOS="android" GOARCH="arm" exec go_target_exec marlin32 "$@" |