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\>"` |