Pin remaining core-sensitive options.

Review Request #4104 - Created July 20, 2016 and submitted

Information
John Sirois
pants
jsirois/jenkins/pin_zinc_workers
3684, 3704
4100
bda843d...
Reviewers
pants-reviews
stuhood
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
Stu Hood
John Sirois
John Sirois
John Sirois
Review request changed

Status: Closed (submitted)

Change Summary:

Now on master:

git log -1 origin/master
commit 8720a3c513589a43bbd5fa47bccf25c12be94788
Author: John Sirois <john.sirois@gmail.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/
Loading...