Skip to content

make DISABLE_TOOL to allow arguments

Peilian Lirequested to merge
peilian_pyconf into master

Allow DISABLE_TOOL for arguments

Should go with Rec!2496 (merged), Phys!969 (merged), Moore!967 (merged)

cc @gunther

Edited by Peilian Li

Merge request reports