Rename the few remaining "jvm_args" variables to "jvm_options".

Review Request #1631 - Created Jan. 20, 2015 and submitted

Information
Benjy Weinberger
pants
da352f9...
Reviewers
pants-reviews
ity, zundel
also fixes some related stale comments.

Note: doesn't change the names of the few remaining jvm_args config keys,
that will happen later. This change is just about reducing naming confusion
in the code.

CI passes: https://travis-ci.org/pantsbuild/pants/builds/47689466.

Eric Ayers
Benjy Weinberger
Review request changed

Status: Closed (submitted)

Change Summary:

Submitted as 62b6645e3384a5a36454f74513dd36171cb1be1a.

Ity Kaul
Ship It!
Loading...