44 lines
1.9 KiB
Bash
Executable File
44 lines
1.9 KiB
Bash
Executable File
#!/bin/sh
|
|
OUT=do_tests.out
|
|
|
|
cat<<EOF
|
|
This script will run configure, make, and make test for you, and collect
|
|
all the output in a file called $OUT. It is placed in one file so that
|
|
you can easily mail it to a developer who is working on plugin support
|
|
for your platform. If you want to watch while the tests are building
|
|
and running, do "tail -f $OUT" to see it.
|
|
|
|
EOF
|
|
|
|
echo "*** Cleaning up from any previous tests"
|
|
make dist-clean >$OUT 2>&1
|
|
# erase that dist-clean stuff
|
|
rm -f $OUT
|
|
echo "*** Starting configure, results to $OUT"
|
|
echo "*** do_tests output file" >> $OUT 2>&1
|
|
echo "*** date: `date`" >> $OUT 2>&1
|
|
echo "*** host: `hostname`" >> $OUT 2>&1
|
|
echo "*** uname -a: `uname -a`" >> $OUT 2>&1
|
|
echo "*** Starting configure" >> $OUT 2>&1
|
|
./configure >> $OUT 2>&1
|
|
echo "*** Copying config.log and config.status into the output file"
|
|
echo "*** This is config.log" >> $OUT 2>&1
|
|
cat config.log >> $OUT 2>&1
|
|
echo "*** This is config.status" >> $OUT 2>&1
|
|
cat config.status >> $OUT 2>&1
|
|
echo "*** Starting make, results to $OUT"
|
|
echo "*** Starting make" >> $OUT 2>&1
|
|
make >> $OUT 2>&1
|
|
echo "*** Starting make test, results to $OUT"
|
|
echo "*** Starting make test" >> $OUT 2>&1
|
|
make test >> $OUT 2>&1
|
|
echo "*** do_tests is done at `date`"
|
|
cat<<EOF
|
|
|
|
The tests are complete! Run "make test" or look at the end of $OUT
|
|
to see the test results. To clean up any files that were generated
|
|
during this script (except for $OUT), do "make dist-clean".
|
|
|
|
$0 is exiting.
|
|
EOF
|