search

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 not operator #125

Open pjljvandelaar opened 1 year ago

pjljvandelaar commented 1 year ago

Dear Gprbuild developers,

Why not replace https://github.com/AdaCore/gprbuild/blob/1e13ed644c71509a0a6b8cd3102d88cedb59cf88/gpr/src/gpr-nmsc.adb#L743

with

         if not (Add_Src) then

Greetings, Pierre

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