------- Additional Comments From bauhaus at futureapps dot de 2005-01-19 00:50 ------- Argh, yes. There was another ada subdirectory, my fault, sorry. After removing it, options.h now looks good, no more duplicates. Thanks.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19517