------- Additional Comments From neroden at gcc dot gnu dot org 2005-02-02 04:22 ------- Sorry, that's "gcc/libada-mk", not "gcc/libada.mk". -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19489