diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/killev | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/tools/killev b/tools/killev index f38cce3738..b92d0303f6 100755 --- a/tools/killev +++ b/tools/killev @@ -22,7 +22,7 @@ $sysname=`uname -s`; -if ($sysname == "SunOS") { +if ($sysname eq "SunOS") { $killcmd="pkill"; } else { @@ -37,10 +37,11 @@ sub kill_exe { printf ("killing $exe_name\n"); - `$killcmd -9 $exe_name 2> /dev/null`; - `$killcmd -9 $lt_name 2> /dev/null`; - `$killcmd -9 $sub_exe_name 2> /dev/null`; - `$killcmd -9 $sub_lt_name 2> /dev/null`; + $redirect = "2> /dev/null"; + `$killcmd -9 $exe_name $redirect`; + `$killcmd -9 $lt_name $redirect`; + `$killcmd -9 $sub_exe_name $redirect`; + `$killcmd -9 $sub_lt_name $redirect`; } sub kill_exes { |