| 30 |
|
|
| 31 |
# If the previous option needs an argument, assign it. |
# If the previous option needs an argument, assign it. |
| 32 |
if test -n "$ac_prev"; then |
if test -n "$ac_prev"; then |
| 33 |
eval "$ac_prev=\$ac_option" |
eval "$ac_prev=\$ac_option" |
| 34 |
ac_prev= |
ac_prev= |
| 35 |
continue |
continue |
| 36 |
fi |
fi |
| 37 |
|
|
| 38 |
ac_optarg=`expr "x$ac_option" : 'x[^=]*=\(.*\)'` |
ac_optarg=`expr "x$ac_option" : 'x[^=]*=\(.*\)'` |
| 155 |
comm=`grep '^run: .*testreport.* ' $dir/summary.txt` |
comm=`grep '^run: .*testreport.* ' $dir/summary.txt` |
| 156 |
EXTRA=`echo "$comm" | grep -c " -*-tdir\>"` |
EXTRA=`echo "$comm" | grep -c " -*-tdir\>"` |
| 157 |
if test "x$EXTRA" = x0 ; then |
if test "x$EXTRA" = x0 ; then |
| 158 |
EXTRA=`echo "$comm" | grep -c " -*-t\>"` |
EXTRA=`echo "$comm" | grep -c " -*-t\>"` |
| 159 |
fi |
fi |
| 160 |
FAST=`echo "$comm" | grep -c " -*-fast\>"` |
FAST=`echo "$comm" | grep -c " -*-fast\>"` |
| 161 |
if test "x$FAST" = x0 ; then |
if test "x$FAST" = x0 ; then |
| 162 |
FAST=`echo "$comm" | grep -c " '*-noieee'*"` |
FAST=`echo "$comm" | grep -c " '*-noieee'*"` |
| 163 |
fi |
fi |
| 164 |
DVLP=`echo "$comm" | grep -c " -*-devel\>"` |
DVLP=`echo "$comm" | grep -c " -*-devel\>"` |
| 165 |
MPI=`echo "$comm" | grep -c " -*-mpi\>"` |
MPI=`echo "$comm" | grep -c " -*-mpi\>"` |