Pin remaining core-sensitive options.
Review Request #4104 — Created July 20, 2016 and submitted
Missed 2 options in https://rbcommons.com/s/twitter/r/4100/. pants.jenkins.ini | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-)
Verified options spelling via: `./pants --config-override=pants.jenkins.ini list` CI went green here: https://travis-ci.org/pantsbuild/pants/builds/146235068
Although only Travis is green, and the target is Jenkins, I'm going to submit since Jenkins is still recovering / not a real thing yet.
Status: Closed (submitted)
Now on master: git log -1 origin/master commit 8720a3c513589a43bbd5fa47bccf25c12be94788 Author: John Sirois <email@example.com> Date: Wed Jul 20 19:33:56 2016 -0600 Pin remaining core-sensitive options. Missed 2 options in https://rbcommons.com/s/twitter/r/4100/. Testing Done: Verified options spelling via: `./pants --config-override=pants.jenkins.ini list` CI went green here: https://travis-ci.org/pantsbuild/pants/builds/146235068 Bugs closed: 3684, 3704 Reviewed at https://rbcommons.com/s/twitter/r/4104/