mirror of
https://github.com/AdaCore/gprbuild.git
synced 2026-02-12 12:30:13 -08:00
And fix warnings that would be printed on standard error. This comes from the GitHub pull request #80 TN: UA25-045 Change-Id: Ib38a0d7c266c7a401cd4dc8b4597cb014501d61d