--disable-libstdcxx switch works for GCC-5
|Reported by:||Pierre Labastie||Owned by:|
In gcc-pass1, we disable a number of libraries, and we use the switch --disable-libstdc++-v3, although the documentation says that the same effect could be obtained with --disable-libstdcxx. The doc was indeed wrong for gcc-4, but it is now right for gcc-5. A few other switches are not needed anymore, since the corresponding libraries are also disabled by --disable-libstdcxx. The joined patch is a proposition for simplifying slightly the instructions in gcc-pass1, owing to the above.