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="--" |