make DISABLE_TOOL to allow arguments
Allow DISABLE_TOOL
for arguments
Should go with Rec!2496 (merged), Phys!969 (merged), Moore!967 (merged)
cc @gunther
Edited by Peilian Li
Allow DISABLE_TOOL
for arguments
Should go with Rec!2496 (merged), Phys!969 (merged), Moore!967 (merged)
cc @gunther