diff --git a/common/wrappers/which.sh b/common/wrappers/which.sh deleted file mode 100644 index 3dc47063b2e..00000000000 --- a/common/wrappers/which.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -ret=0 - -while test $# != 0; do - case "$1" in - -*) ;; - *) command -v "$1" || ret=1 ;; - esac - shift -done - -exit "$ret"