John Ericson 1fe81a4bcd lib: Clean up float/fpu options ... ARM ABIs now have a float field. This is used as a fallback to lessen our use of `platform.gcc.float`. I didn't know what the MIPs convention is so I kept using `platform.gcc.float` in that case.		2018-05-10 18:02:00 -04:00
..
platform-flags.nix	lib: Clean up float/fpu options	2018-05-10 18:02:00 -04:00