Fix minor glitch.
This commit is contained in:
parent
3ea5c71542
commit
6761a598b5
|
@ -382,6 +382,10 @@ if [ -f Makefile ]; then
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
echo "---------- End of tests in the source directory ----------"
|
||||||
|
echo "Removing teststdoutM and teststderrM"
|
||||||
|
rm -rf teststdoutM teststderrM
|
||||||
|
|
||||||
if [ $usetmp -ne 0 ]; then
|
if [ $usetmp -ne 0 ]; then
|
||||||
echo "---------- Tests in the $tmp directory ----------"
|
echo "---------- Tests in the $tmp directory ----------"
|
||||||
srcdir=`pwd`
|
srcdir=`pwd`
|
||||||
|
@ -407,12 +411,11 @@ if [ $usetmp -ne 0 ]; then
|
||||||
do
|
do
|
||||||
runtest
|
runtest
|
||||||
done
|
done
|
||||||
|
|
||||||
|
echo "Removing $tmp"
|
||||||
|
rm -rf $tmp
|
||||||
fi
|
fi
|
||||||
|
|
||||||
echo "Removing $tmp"
|
echo "---------- All done ----------"
|
||||||
rm -rf $tmp
|
|
||||||
rm -rf teststdoutM teststderrM
|
|
||||||
|
|
||||||
echo "All done"
|
|
||||||
|
|
||||||
# End
|
# End
|
||||||
|
|
Loading…
Reference in New Issue