Oliver Smith 4f459b779e docker kill: wait until containers are stopped ... As "docker kill" / "docker container kill" (alias) doesn't block until the given container stops, make sure to always run "docker wait" afterwards. Closes: OS#5928 Change-Id: I0242ece96541d8036ebbf8b0f498ebf231db26b5		2023-03-07 09:02:02 +00:00
..
kernel-test	scripts/kernel-test/run-qemu.sh: update qemu args	2021-12-17 10:20:58 +01:00
regen_doc.sh	docker kill: wait until containers are stopped	2023-03-07 09:02:02 +00:00