christos a53893bf63 rebuild if the version file changes, so binaries report the right version.		2016-11-01 21:56:11 +00:00
..
Makefile	rebuild if the version file changes, so binaries report the right version.	2016-11-01 21:56:11 +00:00