From 7511f6ddaaaed78d65d36b7fce47297e5b4dd7f0 Mon Sep 17 00:00:00 2001 From: cgeoffroy Date: Fri, 17 Mar 2017 11:22:47 +0100 Subject: [PATCH] FIX pkill is case sensitive --- utils/ci/check_manual_usage_example.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils/ci/check_manual_usage_example.sh b/utils/ci/check_manual_usage_example.sh index 15a6869..75faf39 100755 --- a/utils/ci/check_manual_usage_example.sh +++ b/utils/ci/check_manual_usage_example.sh @@ -48,7 +48,7 @@ if ! timeout --version; then timeout --version fi # Initial cleanup -pkill -f 'screen -L -S sonemu' || true +pkill -f 'SCREEN -L -S sonemu' || true screen -wipe || true rm -f screenlog.0 -- 2.25.1