testdir=`cd $testdir && pwd`
+echo "srcdir is originally $srcdir"
srcdir=`cd $srcdir && pwd`
echo "============================================================"
cd "$suitedir"
echo " suitedir=$suitedir"
+. "$suitedir/config.sh"
+
for testbase in $test_names
do
testscript="./$testbase.test"