1 #!/bin/bash 2 3 # Copy and remotely execute a binary on the volantis device. 4 # 5 # For this to work, the corresponding adb_volantis wrapper 6 # must exist to tell adb the serial number of the device. 7 8 GOOS="android" GOARCH="arm64" exec go_target_exec volantis "$@" 9
