--- /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