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