diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/killev | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/killev b/tools/killev index 0745d013e0..14b9f501cd 100755 --- a/tools/killev +++ b/tools/killev @@ -24,6 +24,7 @@ $debug=0; ## $sysname=`uname -s`; +chop $sysname; if ($sysname eq "SunOS") { $killcmd="pkill"; |