3 if [ ! -f bin/tape_options ] ; then
7 cat build/config.out >>test.out
9 echo "Test results" >>test.out
12 nice ./all-non-root-tests
13 nice ./all-non-root-tape-tests
14 nice ./all-non-root-2tape-tests
16 echo "End do_all tests"
17 echo "End do_all tests" >>test.out