| 278 |
else |
else |
| 279 |
kind="restart" |
kind="restart" |
| 280 |
fi |
fi |
|
if test "x$NOI3E" = x1 ; then |
|
|
OPTFILE="${OPTFILE}.noieee" |
|
|
fi |
|
| 281 |
if test "x$MTH" = x1 ; then |
if test "x$MTH" = x1 ; then |
| 282 |
yy=`echo $OPTFILE | grep -c 'mth$'` |
yy=`echo $OPTFILE | grep -c '+mth$'` |
| 283 |
if test $yy = 0 ; then OPTFILE="${OPTFILE}+mth" ; fi |
if test $yy = 0 ; then OPTFILE="${OPTFILE}+mth" ; fi |
| 284 |
fi |
fi |
| 285 |
|
if test "x$NOI3E" = x1 ; then |
| 286 |
|
OPTFILE="${OPTFILE}.noieee" |
| 287 |
|
fi |
| 288 |
|
|
| 289 |
t_pass="--" |
t_pass="--" |
| 290 |
t_tot="--" |
t_tot="--" |