Timo Kreuzer wrote:
We should also avoid compiling trunk on branch commits, a functionality I miss since a long time.
Yes, is there a way to instruct the build server to compile from a branch? I think it should be, if header file changes will first go into a separate branch and then will be merged into the trunk from time to time.