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 |
|
has_nan=`cat tmp1.txt | grep -i nan | wc -l` |
129 |
|
if [ $has_nan -gt 0 ] ; then |
130 |
|
echo testoutput_for_prop: output.txt contains $has_nan NaN values 1>&2 |
131 |
|
return 99 |
132 |
|
fi |
133 |
|
has_inf=`cat tmp1.txt | grep -i inf | wc -l` |
134 |
|
if [ $has_inf -gt 0 ] ; then |
135 |
|
echo testoutput_for_prop: output.txt contains $has_inf Inf values 1>&2 |
136 |
|
return 99 |
137 |
|
fi |
138 |
if [ $debug -gt 0 ]; then |
if [ $debug -gt 0 ]; then |
139 |
echo testoutput_for_prop: join tmp1.txt tmp2.txt 1>&2 |
echo testoutput_for_prop: join tmp1.txt tmp2.txt 1>&2 |
140 |
fi |
fi |
680 |
fi |
fi |
681 |
JOBS= |
JOBS= |
682 |
MPI=f |
MPI=f |
683 |
|
OUTDIR= |
684 |
DELDIR= |
DELDIR= |
685 |
|
|
686 |
ADM= |
ADM= |
737 |
-make=* | --make=*) |
-make=* | --make=*) |
738 |
MAKE=$ac_optarg ;; |
MAKE=$ac_optarg ;; |
739 |
|
|
740 |
|
-odir | --odir) |
741 |
|
ac_prev=OUTDIR ;; |
742 |
|
-odir=* | --odir=*) |
743 |
|
OUTDIR=$ac_optarg ;; |
744 |
|
|
745 |
-ptracers | --ptracers | -ptr | --ptr) |
-ptracers | --ptracers | -ptr | --ptr) |
746 |
ac_prev=PTRACERS_NUM ;; |
ac_prev=PTRACERS_NUM ;; |
747 |
-ptracers=* | --ptracers=* | -ptr=* | --ptr=*) |
-ptracers=* | --ptracers=* | -ptr=* | --ptr=*) |
831 |
UNAMEA=`uname -a` |
UNAMEA=`uname -a` |
832 |
DATE=`date +%Y%m%d` |
DATE=`date +%Y%m%d` |
833 |
BASE="tr_"$MACH"_"$DATE"_" |
BASE="tr_"$MACH"_"$DATE"_" |
834 |
|
if test "x$OUTDIR" != x ; then |
835 |
|
BASE="tr_"$OUTDIR"_"$DATE"_" |
836 |
|
fi |
837 |
DNUM=0 |
DNUM=0 |
838 |
DRESULTS="$BASE$DNUM" |
DRESULTS="$BASE$DNUM" |
839 |
while test -e $DRESULTS ; do |
while test -e $DRESULTS ; do |