Loading agent/agent.sh +1 −1 Original line number Diff line number Diff line Loading @@ -124,7 +124,7 @@ else fi delay=5000 delay=500 elapsed=$((($(date +%s%N) - ts)/1000000)) if [[ delay -gt elapsed ]]; then Loading run/serial.sh +4 −2 Original line number Diff line number Diff line Loading @@ -4,6 +4,7 @@ set -Eeuo pipefail # Docker environment variables : ${HOST_CPU:=''} : ${HOST_MAC:=''} : ${HOST_BUILD:=''} : ${HOST_DEBUG:=''} : ${HOST_SERIAL:=''} Loading @@ -26,9 +27,10 @@ else fi HOST_ARGS=() HOST_ARGS+=("-cpu=${CPU_CORES}") HOST_ARGS+=("-cpu_arch=${HOST_CPU}") [ -n "$CPU_CORES" ] && HOST_ARGS+=("-cpu=${CPU_CORES}") [ -n "$HOST_MAC" ] && HOST_ARGS+=("-mac=${HOST_MAC//:/-}") [ -n "$HOST_BUILD" ] && HOST_ARGS+=("-build=${HOST_BUILD}") [ -n "$HOST_SERIAL" ] && HOST_ARGS+=("-hostsn=${HOST_SERIAL}") [ -n "$GUEST_SERIAL" ] && HOST_ARGS+=("-guestsn=${GUEST_SERIAL}") Loading @@ -41,7 +43,7 @@ if [[ "${HOST_DEBUG}" == [Yy1]* ]]; then { set +x; } 2>/dev/null echo else ./run/host.bin "${HOST_ARGS[@]}" > /dev/null 2>&1 & ./run/host.bin "${HOST_ARGS[@]}" 2> /dev/null & fi # Configure serial ports Loading Loading
agent/agent.sh +1 −1 Original line number Diff line number Diff line Loading @@ -124,7 +124,7 @@ else fi delay=5000 delay=500 elapsed=$((($(date +%s%N) - ts)/1000000)) if [[ delay -gt elapsed ]]; then Loading
run/serial.sh +4 −2 Original line number Diff line number Diff line Loading @@ -4,6 +4,7 @@ set -Eeuo pipefail # Docker environment variables : ${HOST_CPU:=''} : ${HOST_MAC:=''} : ${HOST_BUILD:=''} : ${HOST_DEBUG:=''} : ${HOST_SERIAL:=''} Loading @@ -26,9 +27,10 @@ else fi HOST_ARGS=() HOST_ARGS+=("-cpu=${CPU_CORES}") HOST_ARGS+=("-cpu_arch=${HOST_CPU}") [ -n "$CPU_CORES" ] && HOST_ARGS+=("-cpu=${CPU_CORES}") [ -n "$HOST_MAC" ] && HOST_ARGS+=("-mac=${HOST_MAC//:/-}") [ -n "$HOST_BUILD" ] && HOST_ARGS+=("-build=${HOST_BUILD}") [ -n "$HOST_SERIAL" ] && HOST_ARGS+=("-hostsn=${HOST_SERIAL}") [ -n "$GUEST_SERIAL" ] && HOST_ARGS+=("-guestsn=${GUEST_SERIAL}") Loading @@ -41,7 +43,7 @@ if [[ "${HOST_DEBUG}" == [Yy1]* ]]; then { set +x; } 2>/dev/null echo else ./run/host.bin "${HOST_ARGS[@]}" > /dev/null 2>&1 & ./run/host.bin "${HOST_ARGS[@]}" 2> /dev/null & fi # Configure serial ports Loading