tree 8a3ee6217f7fb118e1ab0edb95370ead6d898765
parent 824b947be08e87e0c317f585c250731897c2aa2c
author Jason Evans <je@fb.com> 1458011951 -0700
committer Jason Evans <je@fb.com> 1458011951 -0700

Add --with-version.

Also avoid deleting the VERSION file while trying to (re)generate it.

This resolves #305.