mirror of
https://github.com/AdaCore/gprbuild.git
synced 2026-02-12 12:30:13 -08:00
It has no effect on gprbuild1, but it has been added for gpr2 usage. This code was added to prevent errors caused by unrecognized attributes. Issue: eng/gpr/gpr-issues#765