http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44959
--- Comment #43 from Hin-Tak Leung <htl10 at users dot sourceforge.net> --- (In reply to r...@cebitec.uni-bielefeld.de from comment #40) > Please try this on your system and tell us how you end up with > bootstrap-debug instead of none. Hmm, sorry, redherring. I think I found the difference - it depends on which strip I am using - the one in /usr/local/bin/ gives bootstrap-debug, while the one in /sbin/ gives none. (problem of having some GNU variety of utilities in /usr/local/bin, and whethe that's in front of $PATH).