https://pantsbuild.org/ logo
#general
Title
# general
h

happy-kitchen-89482

03/21/2017, 10:20 PM
when you use
—pants-config-files='pants-jenkins.ini'
(or
—pants-config-files=’+[”pants-jenkins.ini”]’
) it appends to the default, which is the regular
pants.ini
2 Views