Add a note about fixing PANTS_VERSION mismatch.

Review Request #3887 — Created May 13, 2016 and submitted — Latest diff uploaded

jsirois
pants
jsirois/dev-notes/pants-from-source
3417, 3441
cb5d645...
pants-reviews
benjyw, lahosken, zundel
This can easily happen when running pants from source against a repo
that hasn't updated pants in a while.

 src/docs/howto_develop.md | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
Rendered here:
  http://pantsbuild.github.io/staging/jsirois/dev-notes/pants-from-source/howto_develop.html

CI went green here:
  http://jenkins.pantsbuild.org/job/pantsbuild/job/pants/branch/PR-3441/1/
Loading...