[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
A small gawk --profile bug
From: |
Hermann Peifer |
Subject: |
A small gawk --profile bug |
Date: |
Thu, 21 Jan 2010 19:51:41 +0100 |
User-agent: |
Thunderbird 2.0.0.23 (Windows/20090812) |
Hi Arnold,
I just made a small test with the switch/case feature and saw that gawk
--profile prints the default case twice. I guess this is a small bug.
(I was using Juergen's xgawk, which is based on gawk version 3.1.6)
Hermann
$ cat casetest.awk
{
switch ($1) {
case 1000:
print "XL"
break
case 100:
print "L"
break
case 10:
print "M"
break
default:
print "S"
}
}
$ cat awkprof.out
# gawk profile, created Thu Jan 21 19:45:21 2010
# Rule(s)
{
switch ($1) {
case 1000:
print "XL"
break
case 100:
print "L"
break
case 10:
print "M"
break
default:
print "S"
default:
print "S"
}
}
- A small gawk --profile bug,
Hermann Peifer <=