# The pwd is undefined when this script starts.
+set -x
+
set -e
if ! [ -d "$testdir" ] && ! mkdir "$testdir"
testdir=`cd $testdir && pwd`
echo "srcdir is originally \"$srcdir\""
-srcdir=`cd "$srcdir" && pwd`
+if [ "$srcdir" != "" ]
+then
+ srcdir=`cd "$srcdir" && pwd`
+fi
echo "============================================================"
echo "$0 running in `pwd`"
passed=0
failed=0
-suitedir=`cd ./testsuite && pwd`
+suitedir="$srcdir/testsuite"
echo " suitedir=$suitedir"
. "$suitedir/config.sh"
echo " $skipped skipped"
echo " $missing missing"
echo '------------------------------------------------------------'
+
+if test $failed -gt 0
+then
+ exit 1
+else
+ exit 0
+fi