Skip to content

Make distclean target 'no_lock_in_top/run' modifiers compatible with env vars

As implemented in Configure.py, lockfiles can be controlled by either command line options or environment variables. This commit make the distclean command callback compatible with the environement-variables-driven no-lock options.

Merge request reports