diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2025-06-18 20:47:26 +0200 |
|---|---|---|
| committer | Emil Fresk <emil.fresk@gmail.com> | 2025-06-18 19:14:52 +0000 |
| commit | 8fa0fbb9aeaffe3f23ff65d08effd4d311f0d5e0 (patch) | |
| tree | 38f570106bee76f7249f1a0e661050965e4cee5e /examples/esp32c3/runner.sh | |
| parent | 96542ec1c8dbb74fdbe6a65238a70f0842b1fd6b (diff) | |
ci: QEMU: Match more precisely with "our" QEMU
Diffstat (limited to 'examples/esp32c3/runner.sh')
| -rwxr-xr-x | examples/esp32c3/runner.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/examples/esp32c3/runner.sh b/examples/esp32c3/runner.sh index 67d1007..b9c3fbb 100755 --- a/examples/esp32c3/runner.sh +++ b/examples/esp32c3/runner.sh @@ -35,15 +35,15 @@ echo q | nc -N 127.0.0.1 55555 >>"$tempdir"/$qemuoutputfile 2>&1 sleep 0.1s # If still running, try again nicely -pgrep -af "qemu-system.*" >/dev/null 2>&1 && echo q | nc -N 127.0.0.1 55555 >>"$tempdir"/$qemuoutputfile 2>&1 +pgrep -af "qemu-system.*esp32c3.*" >/dev/null 2>&1 && echo q | nc -N 127.0.0.1 55555 >>"$tempdir"/$qemuoutputfile 2>&1 # Ask a bit more firmly with SIGTERM -pgrep -af "qemu-system.*" >/dev/null 2>&1 && kill $qemupid >/dev/null 2>&1 +pgrep -af "qemu-system.*esp32c3.*" >/dev/null 2>&1 && kill $qemupid >/dev/null 2>&1 -pgrep -af "qemu-system.*" >/dev/null 2>&1 && sleep 0.1s >/dev/null 2>&1 +pgrep -af "qemu-system.*esp32c3.*" >/dev/null 2>&1 && sleep 0.1s >/dev/null 2>&1 # Time to die -pgrep -af "qemu-system.*" >/dev/null 2>&1 && kill -9 $qemupid >/dev/null 2>&1 +pgrep -af "qemu-system.*esp32c3.*" >/dev/null 2>&1 && kill -9 $qemupid >/dev/null 2>&1 # Make boot phase silent, for debugging change, run with e.g. $ `env DEBUGGING=true` cargo xtask.... if [ -n "${DEBUGGING}" ]; then |