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