remote_run: fix target host name

2025-11-14 10:50:27 +08:00
parent 3be9250978
commit 159987a64b
1 changed files with 1 additions and 1 deletions
--- a/remote_run.sh
+++ b/remote_run.sh
@@ -13,7 +13,7 @@ if [ -z "$SZL" ]; then
    exit 1
 fi

-target_host="rpi-4.m-labs.hk"
+target_host="rpi-4"
 impure=0
 pure_dir="result"
 impure_dir="build"