blob: 41612f728f848f91605f28b38921599e89d9815b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#!/bin/bash
set -e -o pipefail
# This script copies a locally built GOROOT to a remote device.
#
# Usage: push_goroot <target>...
#
# This script can work with both ChromeOS/Android devices.
#
# It uses "target_tmpdir" to figure out where to copy GOROOT on the device.
# It uses "target_sh" to remotely execute commands on the device.
# It uses "target_cp" to transfer files to the device.
goroot="$(target_tmpdir)/go"
for target in "$@"
do
echo -n "pushing to ${target} ... "
target_sh ${target} "rm -rf ${goroot}"
target_sh ${target} "mkdir -p ${goroot}/pkg"
pkgdir="$(go_${target} env GOOS)_$(go_${target} env GOARCH)"
if [[ -d "pkg/${pkgdir}_shared" ]]
then
target_cp "pkg/${pkgdir}_shared" ${target}:${goroot}/pkg
target_sh ${target} "ln -s ${pkgdir}_shared ${goroot}/pkg/${pkgdir}"
else
target_cp "pkg/${pkgdir}" ${target}:${goroot}/pkg
fi
target_cp "src" ${target}:${goroot}
target_cp "lib" ${target}:${goroot}
target_cp "test" ${target}:${goroot}
echo "done"
done
|
