AdaCore / gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Other
65 stars 21 forks source link

prefer short circuit #128

Open pjljvandelaar opened 1 year ago

pjljvandelaar commented 1 year ago

Dear Gprbuild developers,

According to GnatCheck, short circuit operators are preferred. This pull requests removes all GnatCheck warnings related to non short circuit operators in the code of GprBuild.

Greetings, Pierre

Problem detected and solved by Rejuvenation-Ada crate vote for Rejuvenation-Ada as The 2022 Ada Crate Of The Year