481 |
-make=* | --make=*) |
-make=* | --make=*) |
482 |
MAKE=$ac_optarg ;; |
MAKE=$ac_optarg ;; |
483 |
|
|
484 |
-clean | --clean | -c | --c) |
-clean | --clean) |
485 |
CLEANUP=t ;; |
CLEANUP=t ;; |
486 |
|
|
487 |
-quick | --quick | -q | --q) |
-quick | --quick | -q | --q) |
600 |
# Verify that the testdir exists and contains previous |
# Verify that the testdir exists and contains previous |
601 |
# results in the correct location--or skip this directory! |
# results in the correct location--or skip this directory! |
602 |
if test ! -r $dir"/results/output.txt" ; then |
if test ! -r $dir"/results/output.txt" ; then |
603 |
echo | tee -a $SUMMARY |
echo |
604 |
echo "can't read \"$dir/results/output.txt\" -- skipping $dir" \ |
echo "can't read \"$dir/results/output.txt\" -- skipping $dir" |
605 |
| tee -a $SUMMARY |
echo |
606 |
continue |
continue |
607 |
fi |
fi |
608 |
|
|