Re: RFC: [build, ada] Centralize PICFLAG configuration

[Arnaud Charlet]

> Wouldn't you use these targets with --disable-target-libada 
> --disable-gnattools?

Yes (or rather --disable-libada. I believe also disable-libada implies
--disable-gnattols), that's the primary use (manual debugging
is a secondary use).

Arno