| commit | 434ea64b267e5e9e16a66ab1cccf9fab34302ff5 | [log] [tgz] |
|---|---|---|
| author | Jason Evans <je@fb.com> | Mon Mar 14 20:19:11 2016 -0700 |
| committer | Jason Evans <je@fb.com> | Mon Mar 14 20:19:11 2016 -0700 |
| tree | 8a3ee6217f7fb118e1ab0edb95370ead6d898765 | |
| parent | 824b947be08e87e0c317f585c250731897c2aa2c [diff] |
Add --with-version. Also avoid deleting the VERSION file while trying to (re)generate it. This resolves #305.