3.2 PATCH: Fully support parallel gnat1/gnatbind builds

[Florian Weimer]

Geert Bosch <bosch@gnat.com> writes:

> Yes, provided you do not comment out the info rules.
> Having this bundled in with an unrelated patch is confusing.
> These lines should be removed (not just commented out) with
> the patch that adds them to the correct location in make-lang.in.

Shall I update my proposed patch for that, or do you want to handle it
on your own?