diff options
Diffstat (limited to 'release/run.sh')
-rwxr-xr-x | release/run.sh | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/release/run.sh b/release/run.sh new file mode 100755 index 0000000..5672fa1 --- /dev/null +++ b/release/run.sh @@ -0,0 +1,36 @@ +#!/usr/bin/env bash + +syntax="Syntax: $0 REL RC" + +if [[ $1 = '' ]]; then + echo $syntax + exit 1 +fi +REL=$1 +shift +if [[ $1 = 'final' ]]; then + RC="-final" +else if [[ $1 != '' ]]; then + RC="-rc $1" +else + echo "Syntax: $0 REL RC" + exit 1 +fi fi + +aarch64="`egrep '(AArch64|asimd)' /proc/cpuinfo`" +armv7="`grep ARMv7 /proc/cpuinfo`" +intel="`grep Intel /proc/cpuinfo`" + +if [[ $aarch64 = '' && $armv7 = '' && $intel = '' ]]; then + echo "This is neither of ARMv7, AArch64, Intel" + exit 1 +fi +triple=armv7a-linux-gnueabihf +if [[ $aarch64 != '' ]]; then + triple=aarch64-linux-gnu +fi +if [[ $intel != '' ]]; then + triple=x86_64-linux-gnu +fi + +./test-release.sh -release $REL $RC -triple $triple -j8 -no-libs -no-test-suite |