diff options
Diffstat (limited to '.github/github_test.sh')
| -rw-r--r-- | .github/github_test.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/github_test.sh b/.github/github_test.sh index ec6586114..5e75296fb 100644 --- a/.github/github_test.sh +++ b/.github/github_test.sh @@ -18,6 +18,10 @@ if [ "${ARCHITECTURE}" == "x86_64" ]; then ARCHITECTURE="x64" fi +if [ "${ARCHITECTURE}" == "arm64" ]; then + ARCHITECTURE="aarch64" +fi + # CONFIGURATION=release or debug if [ "${CC}" == "gcc" ] && [ "${CONFIGURATION}" == "release" ] && [ "${ARCHITECTURE}" == "x64" ] then |