MILESTONE and BUILD_NUMBER with new build system

[Fredrik Öhrström]

2012/9/25 Mike Duigou <mike.duigou at oracle.com>:
> The version.numbers file seems be a reasonable place to get those defaults. The use of configure for build number and milestone would only be to override the defaults.

Especially since the version.numbers file should really be located in
the root directory. Its current place is only temporary while the old
build system is still in use.

> Regarding re-running configure. It's been unclear to me when I can safely omit deleting my builds and re-running configure after a pull.

You can pull updates that: change source files, add source files,
remove source files, and NOT need to rerun configure.
In fact 99% of all updates are these kind of updates. The remaining
ones are changes to the build system, which will
probably force you to rerun configure. My guess is that build-infra
will warn in advance when build breaking changes are
pushed in the future, that force to rerun configure and do a make clean.

//Fredrik