On 13-01-02 08:42 PM, Raimund Steger wrote: > Behdad Esfahbod wrote: >> [...] >> >> I would have just copied from you but your awk wasn't right. Ok, pushing >> another version now. >> > > Yup, works. Thanks. (What's Tools.mk?) Ouch. Tools.mk pushed out. -- behdad http://behdad.org/