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.