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