18 |
echo " (DEF=\"\" which builds all)" |
echo " (DEF=\"\" which builds all)" |
19 |
echo " (-b|-bash)STRING location of \"bash\" executable" |
echo " (-b|-bash)STRING location of \"bash\" executable" |
20 |
echo " (DEF=\"\" for \"/bin/bash\")" |
echo " (DEF=\"\" for \"/bin/bash\")" |
21 |
echo " (-c|-command)STRING command to run" |
echo " (-command)STRING command to run" |
22 |
echo " (DEF=\"make output.txt\")" |
echo " (DEF=\"make output.txt\")" |
23 |
echo " (-m|-make)STRING command to use for \"make\"" |
echo " (-m|-make)STRING command to use for \"make\"" |
24 |
echo " (DEF=\"make\")" |
echo " (DEF=\"make\")" |
25 |
|
echo " (-clean) *ONLY* run \"make CLEAN\"" |
26 |
echo " (-quick|-q) same as \"-nogenmake -noclean -nodepend\"" |
echo " (-quick|-q) same as \"-nogenmake -noclean -nodepend\"" |
27 |
echo " (-nogenmake|-ng) skip the genmake stage" |
echo " (-nogenmake|-ng) skip the genmake stage" |
28 |
echo " (-noclean|-nc) skip the \"make clean\" stage" |
echo " (-noclean|-nc) skip the \"make clean\" stage" |
193 |
fi |
fi |
194 |
$command > make.log 2>&1 |
$command > make.log 2>&1 |
195 |
RETVAL=$? |
RETVAL=$? |
196 |
for i in gm_state gm_optfile gm_local Makefile ; do |
for i in genmake_state genmake_optfile genmake_local Makefile ; do |
197 |
if test -r $i ; then |
if test -r $i ; then |
198 |
cp $i $CDIR |
cp $i $CDIR |
199 |
fi |
fi |
501 |
-mpi) MPI=t ;; |
-mpi) MPI=t ;; |
502 |
-verbose) verbose=2 ;; |
-verbose) verbose=2 ;; |
503 |
-debug) debug=1 ;; |
-debug) debug=1 ;; |
|
-clean) clean=1 ;; |
|
504 |
-quiet) verbose=0 ;; |
-quiet) verbose=0 ;; |
505 |
|
|
506 |
-*) |
-*) |
595 |
# Verify that the testdir exists and contains previous |
# Verify that the testdir exists and contains previous |
596 |
# results in the correct location--or skip this directory! |
# results in the correct location--or skip this directory! |
597 |
if test ! -r $dir"/results/output.txt" ; then |
if test ! -r $dir"/results/output.txt" ; then |
|
echo |
|
598 |
echo "can't read \"$dir/results/output.txt\" -- skipping $dir" |
echo "can't read \"$dir/results/output.txt\" -- skipping $dir" |
|
echo |
|
599 |
continue |
continue |
600 |
fi |
fi |
601 |
|
|