diff --git a/which b/which index d8f5293..b3f3ba5 100755 --- a/which +++ b/which @@ -7,7 +7,6 @@ # permitted in any medium without royalty provided the copyright notice and this # notice are preserved. This file is offered as-is, without any warranty. -set -e argv0="$0" if test -z "$1"; then