[Tutorial][Binaries] gdc for android

[Johannes Pfau]

Am Mon, 6 Feb 2012 01:42:26 -0600
schrieb Andrew Wiley <wiley.andrew.j at gmail.com>:

> 
> I'm pretty sure you have to rebuild the entire toolchain to switch
> from softfloat to hardfloat.

I also thought that, but GCC docs say:
-with-fpu=type
--with-float=type
These configure options provide **default** values for the -mschedule=,
-march=, -mtune=, -mabi=, and -mfpu= options and for -mhard-float or
-msoft-float. As with --with-cpu, which switches will be accepted and
acceptable values of the arguments depend on the target.

That also matches the Android NDK documentation.