mirror of
https://github.com/AdaCore/gpr.git
synced 2026-02-12 12:58:39 -08:00
The Skip subprogram existed before Is_Deactivated, but both ended serving the same main purpose. A skipped action is an action whose signature is correct. A deactivated action, on the other hand, is an action that should not be executed, regardless of its signature. An action can be deactivated either manually or automatically when a project's nature does not allow its execution, for example when linking is disabled. Moreover, this change fixes an issue where a manually skipped action had an invalid signature, which caused the entire process manager execution to fail. Issue: eng/gpr/gpr-issues#765