The source is built by a buildbot, and the build number is the number of commits since 4.0 (in other terms, git rev-list --count 4.0..master).
I haven't checked the source though, nor do I precisely know how the different parts of the infrastructure are integrated together, so I'll leave the details to a team member (looks like delroth is the one responsible for the infrastructure).
I haven't checked the source though, nor do I precisely know how the different parts of the infrastructure are integrated together, so I'll leave the details to a team member (looks like delroth is the one responsible for the infrastructure).