| commit | 7511f6ddaaaed78d65d36b7fce47297e5b4dd7f0 | [log] [tgz] |
|---|---|---|
| author | cgeoffroy <geoffroy.chollon@thalesgroup.com> | Fri Mar 17 11:22:47 2017 +0100 |
| committer | cgeoffroy <geoffroy.chollon@thalesgroup.com> | Thu Mar 23 15:35:48 2017 +0100 |
| tree | a91b53b565ce4d999c2e428693172cb0d85f44c9 | |
| parent | 9d9b779eede0591bfa3b411d130a8ab48d75ad1f [diff] [blame] |
FIX pkill is case sensitive
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 @@ 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