Hi Stefan, hi Alex, could you please have a look at these buildbots (maybe others, too):
xen_i386_debian_6_0 xen_x86_64_debian_6_0 Both fail during the configuration: ERROR: unknown option --disable-debug-info Either the git repository should be updated (it is obviously more than a year old), or configure must not use --disable-debug-info, or the buildbots might be removed because they are no longer considered to be useful. Kind regards, Stefan
