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 0ebb7b8bdc..5e2d9be05b 100755 --- a/tools/killev +++ b/tools/killev @@ -1,3 +1,4 @@ +#!/bin/sh # FIXME: Sigh, we need a less gross way of doing this. sysname=`uname -s` |