kerneltest/f32test/group/bld.inf
branchGCC_SURGE
changeset 209 6035754ebf88
parent 109 b3a1d9898418
child 221 39b39e1a406e
equal deleted inserted replaced
208:93574fe69598 209:6035754ebf88
    52 
    52 
    53 t_fsrvbm    support
    53 t_fsrvbm    support
    54 t_fsysbm    support
    54 t_fsysbm    support
    55 t_whet      support
    55 t_whet      support
    56 #ifdef ARMCC
    56 #ifdef ARMCC
       
    57 // ARMCC should become EABI if and when VFP is supported for GCCE builds.
    57 t_whetvfp   support
    58 t_whetvfp   support
    58 #endif
    59 #endif
    59 //T_WARM        manual
    60 //T_WARM        manual
    60 t_gen       
    61 t_gen       
    61 t_gen32 
    62 t_gen32