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.