cc/gcc: Update gcc to 4.7.1 (v2)
Attempt #2 at updating gcc.
This time without porting gcc 4.7.0 patches forward.
Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>
Message-Id: <aeffa57986d52dd7b0a8.1341290304@flambe.is-a-geek.org>
1 # Dummy config file to not use a C library *at all*
3 ## depends on BARE_METAL
5 ## help Do not use a C library.
7 ## help This is usefull if your project is self-contained, does not rely on
8 ## help an external C library, and provides all the necessary bits.
10 ## help Most probably usefull to bootloaders, as they generally don't depend
11 ## help on the C library.
13 ## help If unsure: do *not* choose that, and use another option in the choice.