[arm64] config changes (#244)

titzer · Apr 24, 2024 · 2a46bbf · 2a46bbf
1 parent bf29923
commit 2a46bbf
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/bin/dev/sense_host b/bin/dev/sense_host
@@ -32,6 +32,10 @@ if [[ "$PLATFORM" = "Linux x86_64" ]]; then
     HOSTS="x86-linux x86-64-linux $HOSTS"
 fi
 
+if [[ "$PLATFORM" = "Linux aarch64" ]]; then
+    HOSTS="arm64-linux $HOSTS"
+fi
+
 JAVA=$(which java)
 
 if [ ! -z "$JAVA" ]; then

diff --git a/test/configure b/test/configure
@@ -23,7 +23,8 @@ if [ "$1" = "clean" ]; then
     exit 0
 fi
 
-NATIVE_HOSTS="x86-linux x86-64-linux x86-darwin x86-64-darwin arm64-darwin"
+NATIVE_HOSTS="x86-linux x86-64-linux x86-darwin x86-64-darwin arm64-linux arm64-darwin"
+
 VIRGIL_LOC=${VIRGIL_LOC:=$(cd $(dirname ${BASH_SOURCE[0]}) && cd .. && pwd)}
 
 function green() {