diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/unity.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/unity.cmake b/tools/unity.cmake index 791813094..579aee4b9 100755 --- a/tools/unity.cmake +++ b/tools/unity.cmake @@ -140,7 +140,7 @@ def process_and_start_unity (verbose, debug_mode, compiz_args, log_file): # kill a previous compiz if was there (this is a hack as compiz can # sometimes get stuck and not exit on --replace) - subprocess.call (["pkill", "compiz"]) + subprocess.call (["pkill", "-9", "compiz"]) # shell = True as it's the simpest way to | tee. # In this case, we need a string and not a list |