Hi Vaeth :) On Tue, May 29, 2012 at 7:02 PM, Vaeth <va...@mathematik.uni-wuerzburg.de> wrote: > On Tue, 29 May 2012, Rafa Griman wrote: >> >> gawk: cmd. line:3: error: Unmatched [ or [^: /[^[:space:]]/ > > > Your gawk is broken. This happens if you emerged gawk with > current gcc and aggressive FLAGS like -DNDEBUG or -flto. > Not sure whether it is a bug of gawk or gcc.
So it seems to be the CFLAGS :( As I said in my previous e-mail, I was "experimenting" a bit with them ... I'll be more conservative ;) Thanks !!! Rafa