FIX pkill is case sensitive
authorcgeoffroy <geoffroy.chollon@thalesgroup.com>
Fri, 17 Mar 2017 10:22:47 +0000 (11:22 +0100)
committercgeoffroy <geoffroy.chollon@thalesgroup.com>
Thu, 23 Mar 2017 14:35:48 +0000 (15:35 +0100)
commit7511f6ddaaaed78d65d36b7fce47297e5b4dd7f0
treea91b53b565ce4d999c2e428693172cb0d85f44c9
parent9d9b779eede0591bfa3b411d130a8ab48d75ad1f
FIX pkill is case sensitive
utils/ci/check_manual_usage_example.sh