>>>>> "Matthias" == Matthias Klose <doko@cs.tu-berlin.de> writes: Matthias> I only checked with 1.4-p4, that the flags are added using Matthias> 'MAKEFINFO +='. Is this enough for a checkin? I think it is fine. If this worked in 1.4 (that's a bit surprising) it probably won't break with 1.6. Tom