* Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata.
        * Makefile.in: Regenerate.
3 files changed