------- Additional Comments From bangerth at dealii dot org 2005-03-06 21:37
-------
I think the whole idea of second-guessing what a user might have meant when
he misspelled an option is debatable. I personally am of the opinion that
this should yield an error or a warning, but that we shouldn't attempt to
figure out what she might have meant instead.
But that's only by 2 cents...
W.
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|Rewriting '-gant' as '-gnat'|Rewriting '-gant' as '-gnat'
|is failings |is failing
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4945
