AWK - gawk 3.1.3 case insensitive bug?

You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author

gawk 3.1.3 case insensitive bug?

GABER mark

2004-10-11, 8:55 am

Hi,

I am switching from gawk 3.0.6 to 3.1.3 and found that case sensitivity is lost:

399> gawk --v
GNU Awk 3.0.6
....snip...
400> echo "A" | gawk '{if ($0 ~ /[a-z]/) print "INSIDE"}'
401>

340> gawk --v
GNU Awk 3.1.3
....snip...
341> echo "A" | gawk '{if ($0 ~ /[a-z]/) print "INSIDE"}'
INSIDE
342>

Has anybody experienced this? I have not seen any explanation on the web,
on-line manuals, or newsgroups. Setting IGNORECASE to zero does not help.

Thanks for the help,

Mark

Sponsored Links