27 |
echo " (DEF=\"make output.txt\")" |
echo " (DEF=\"make output.txt\")" |
28 |
echo " (-m|-make) STRING command to use for \"make\"" |
echo " (-m|-make) STRING command to use for \"make\"" |
29 |
echo " (DEF=\"make\")" |
echo " (DEF=\"make\")" |
30 |
|
echo " (-odir) STRING used to build output directory name" |
31 |
|
echo " (DEF=\"hostname\")" |
32 |
echo " (-ptracers|-ptr) STRING specify which ptracers to test" |
echo " (-ptracers|-ptr) STRING specify which ptracers to test" |
33 |
echo " (DEF=\"1 2 3 4 5\")" |
echo " (DEF=\"1 2 3 4 5\")" |
34 |
echo " (-j) JOBS use \"make -j JOBS\" for parallel builds" |
echo " (-j) JOBS use \"make -j JOBS\" for parallel builds" |
125 |
fi |
fi |
126 |
return 99 |
return 99 |
127 |
fi |
fi |
128 |
|
non_real_numb=`egrep -c -i 'NAN|INF' tmp1.txt` |
129 |
|
if [ $non_real_numb -gt 0 ]; then |
130 |
|
echo testoutput_for_prop: output.txt has $non_real_numb not real numbers 1>&2 |
131 |
|
return 99 |
132 |
|
fi |
133 |
if [ $debug -gt 0 ]; then |
if [ $debug -gt 0 ]; then |
134 |
echo testoutput_for_prop: join tmp1.txt tmp2.txt 1>&2 |
echo testoutput_for_prop: join tmp1.txt tmp2.txt 1>&2 |
135 |
fi |
fi |
675 |
fi |
fi |
676 |
JOBS= |
JOBS= |
677 |
MPI=f |
MPI=f |
678 |
|
OUTDIR= |
679 |
DELDIR= |
DELDIR= |
680 |
|
|
681 |
ADM= |
ADM= |
732 |
-make=* | --make=*) |
-make=* | --make=*) |
733 |
MAKE=$ac_optarg ;; |
MAKE=$ac_optarg ;; |
734 |
|
|
735 |
|
-odir | --odir) |
736 |
|
ac_prev=OUTDIR ;; |
737 |
|
-odir=* | --odir=*) |
738 |
|
OUTDIR=$ac_optarg ;; |
739 |
|
|
740 |
-ptracers | --ptracers | -ptr | --ptr) |
-ptracers | --ptracers | -ptr | --ptr) |
741 |
ac_prev=PTRACERS_NUM ;; |
ac_prev=PTRACERS_NUM ;; |
742 |
-ptracers=* | --ptracers=* | -ptr=* | --ptr=*) |
-ptracers=* | --ptracers=* | -ptr=* | --ptr=*) |
746 |
-j=*) JOBS=$ac_optarg ;; |
-j=*) JOBS=$ac_optarg ;; |
747 |
|
|
748 |
-clean | --clean) |
-clean | --clean) |
749 |
CLEANUP=t ;; |
CLEANUP=t ; DELDIR=t ;; |
750 |
|
|
751 |
-quick | --quick | -q | --q) |
-quick | --quick | -q | --q) |
752 |
QUICK=t ;; |
QUICK=t ;; |
826 |
UNAMEA=`uname -a` |
UNAMEA=`uname -a` |
827 |
DATE=`date +%Y%m%d` |
DATE=`date +%Y%m%d` |
828 |
BASE="tr_"$MACH"_"$DATE"_" |
BASE="tr_"$MACH"_"$DATE"_" |
829 |
|
if test "x$OUTDIR" != x ; then |
830 |
|
BASE="tr_"$OUTDIR"_"$DATE"_" |
831 |
|
fi |
832 |
DNUM=0 |
DNUM=0 |
833 |
DRESULTS="$BASE$DNUM" |
DRESULTS="$BASE$DNUM" |
834 |
while test -e $DRESULTS ; do |
while test -e $DRESULTS ; do |