diff --git a/tests/run.sh b/tests/run.sh index 2a1266e7d..1a73f097c 100755 --- a/tests/run.sh +++ b/tests/run.sh @@ -15,6 +15,24 @@ set -e export SHELL=/bin/sh export HOME=/dev/null +# Parse options. +usage() { + cat >&2 < ERROR running $f <==="