1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#! /usr/bin/env bash
platforms=(
x86_64-generic-linux-musl/linux-x86_64
arm-android9-linux-androideabi/android-arm
sparc-sun-solaris2.10/solaris-sparc64
x86_64-unknown-freebsd8/freebsd-x86_64
x86_64-unknown-netbsd5/netbsd-x86_64
i586-mingw32msvc/windows-ix86
)
topdir="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
for platform in "${platforms[@]}"; do
ccName="$(echo "${platform}" | cut -f 1 -d /)"
|
<
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#! /usr/bin/env bash
platforms=(
x86_64-generic-linux-musl/linux-x86_64
arm-android9-linux-androideabi/android-arm
sparc-sun-solaris2.10/solaris-sparc64
x86_64-unknown-freebsd8/freebsd-x86_64
i586-mingw32msvc/windows-ix86
)
topdir="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
for platform in "${platforms[@]}"; do
ccName="$(echo "${platform}" | cut -f 1 -d /)"
|