+set -x
+
+set -e
+
+if ! [ -d "$testdir" ] && ! mkdir "$testdir"
+then
+ echo "warning: testdir $testdir is not a directory!" >&2
+ exit 1
+fi
+
+testdir=`cd $testdir && pwd`
+
+echo "srcdir is originally \"$srcdir\""
+if [ "$srcdir" != "" ]
+then
+ srcdir=`cd "$srcdir" && pwd`
+fi