365 |
if test $mname = 'harbor' -a $dd = 1 ; then num=-1 ; fi |
if test $mname = 'harbor' -a $dd = 1 ; then num=-1 ; fi |
366 |
#if test $mname = 'aces' -a $optf = 'linux_ia32_open64' ; then num=-1 ; fi |
#if test $mname = 'aces' -a $optf = 'linux_ia32_open64' ; then num=-1 ; fi |
367 |
#if test $mname = 'aces' -a $optf = 'linux_ia32_g95' ; then num=-1 ; fi |
#if test $mname = 'aces' -a $optf = 'linux_ia32_g95' ; then num=-1 ; fi |
368 |
dd=`echo $optf | grep -c 'bigred.*+mth'` |
dd=`echo $optf | grep -c 'bigred.*noieee'` |
369 |
if test $mname = 'bigred' -a $dd = 1 ; then num=-1 ; fi |
if test $mname = 'bigred' -a $dd = 1 ; then num=-1 ; fi |
370 |
if test $num -lt 0 ; then |
if test $num -lt 0 ; then |
371 |
echo " discard $sdir : $type , of='$optf'" | tee -a $OUTPFIL |
echo " discard $sdir : $type , of='$optf'" | tee -a $OUTPFIL |