I thought we just went through discussing that we can set this option either on the command line or in pants.ini...