+++ /dev/null
-#! /bin/sh
-[ -x /usr/bin/killall ] && exec /usr/bin/killall "$@"
-sig=""
-if echo "$1" | grep >/dev/null -- '^-';then
- sig="$1"
- shift
-fi
-pgrep -l "$@"
-if pkill $sig "$@";then true;else
- echo "$*: no process killed"
- exit 1
-fi
-if pgrep >/dev/null -l "$@";then
- echo "FAIL:"
- pgrep -l "$@"
-else
- echo OK
-fi
-exit 0