I've tried looking at http://www.pantsbuild.org/options_reference.html but can't see anything obvious