mirror of
https://github.com/rtic-rs/rtic.git
synced 2025-12-16 21:05:35 +01:00
ci: QEMU: Match more precisely with "our" QEMU
This commit is contained in:
parent
96542ec1c8
commit
8fa0fbb9ae
1 changed files with 4 additions and 4 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue