script is not run.
Rev: misc/run-tests:1.3
failed=0
all=0
+debug='no'
+
if [ -z "$srcdir" ] ; then
srcdir=`pwd`
fi
env_program `find_program setup-env`
+while test $# != 0
+do
+ case "$1" in
+ --debug)
+ debug=yes
+ ;;
+ -*)
+ echo >&2 'Unknown option `'"$1'"
+ exit 1
+ ;;
+ *)
+ break
+ ;;
+ esac
+ shift
+done
+
if [ $# -eq 0 ] ; then
for f in *-test; do test_program "./$f"; done
else
echo "$banner"
echo "$dashes"
-env_program `find_program teardown-env`
+if [ "x$debug" = xno ] ; then
+ env_program `find_program teardown-env`
+fi
[ "$failed" -eq 0 ]