https://gcc.gnu.org/bugzilla/show_bug.cgi?id=28314
Vincent Lefèvre <vincent-gcc at vinc17 dot net> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vincent-gcc at vinc17 dot net
--- Comment #4 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
I don't know what the discussion was. Anyway, neither __linux nor __linux__ is
mentioned in the GCC manual (at least for the recent versions), so that I
assume that the developers should not rely on it.
