Hi,

on both -current (awk version 20050424) and 2.0_STABLE (awk version
20030729) I see the following:

	$ echo '123' | awk '/^[0-9]{3}$/{print;}'
	$ echo '123' | awk '/^[0-9]{1,}$/{print;}'
	$ echo '123' | awk '/^[0-9]{1,3}$/{print;}'

I expect `123' to be printed. BTW, `*' and `+' work fine:

	$ echo '123' | awk '/^[0-9]+$/{print;}'
	123
	$ echo '123' | awk '/^[0-9]*$/{print;}'
	123

Is this a bug, or am I missing something?


TIA,

Jukka

-- 
bashian roulette:
$ ((RANDOM%6)) || rm -rf ~