Admin/bash_process/build
changeset 79749 a861b0df74b4
parent 76101 e59d7d6fe1bd
--- a/Admin/bash_process/build	Thu Feb 29 17:03:00 2024 +0100
+++ b/Admin/bash_process/build	Thu Feb 29 21:06:50 2024 +0100
@@ -37,7 +37,7 @@
 PLATFORM_DIR="platform_${PLATFORM}"
 
 case "$PLATFORM" in
-  arm64-linux)
+  arm64-linux | arm64-darwin)
     mkdir -p "$PLATFORM_DIR"
     cc -Wall bash_process.c -o "$PLATFORM_DIR/bash_process"
     ;;