projects / platform / upstream / libinput.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 337ab84) | patch
gitlab CI: handling killing the qemu process better
authorPeter Hutterer <peter.hutterer@who-t.net>
Tue, 18 Feb 2020 22:42:15 +0000 (08:42 +1000)
committerBenjamin Tissoires <benjamin.tissoires@gmail.com>
Wed, 19 Feb 2020 08:03:30 +0000 (08:03 +0000)
commit1954523309e3a26af1f76537021c69b30dbdc0c9
tree92a61680cf017f66b2875d0df0b4f40a1cd54cddtree | snapshot
parent337ab84599240139936fa204e43ff30623d06ad2commit | diff
gitlab CI: handling killing the qemu process better

If qemu has already shut down by the time we call kill, pgrep returns nothing
and we fail the script. Let's not do that. And let's replace kill pgrep with
just pkill in the process.

Let's get rid of the after_script part too, gitlab kills any process started
in the main script anyway.

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
.gitlab-ci.yml diff | blob | history
Domain: Graphics System / Input Management;