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