is awk working?

[mfrattola@mail.enjoy.it]

Hi,
I'm using an 'old' release of debian (1.1.13), and I'm happy with it. I found
out the other day that awk is not working the way its man page says.

If I use awk --re-interval, it should accept reg-expr like [0-9]{5} to mean
"five numbers in row" (a reg-expr definition of ZIP code?), but it doesn't.
It never matches things like 29100, instead matches 0{5} "literaly". Am I
missing something or is it really broken?

Has anybody experienced this? Has it been fixed in more recent releases? I have
no longer Slack to test if this is debian-specific or not. Debian is so superior
I can live with this bug ..

PS: FWIW it's gawk 3.0 patch level 0
-- 
||    || |||||||  Marco Frattola                     Microsoft is not the answer
||`..'|| |||...   Piacenza, Italy                    Microsoft is the question
|||  ||| |||''    mfrattola@mail.enjoy.it            "No" is the answer
|||  ||| |||      www.enjoy.it/users/~mk/index.html  Live Linux, live free!


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-user-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .