Another small awk profile bug

[Hermann Peifer]

Hi Arnold,

The gawk profile has an additional backslash in the pattern, which 
changes the regex somewhat. I am not sure if this is worth fixing, but I 
thought I should report it anyway.

Regards, Hermann

address@hidden:~]> awk --version | head -1
GNU Awk 3.1.8a
address@hidden:~]> echo "hour." | awk --profile '/hour\./'
hour.
address@hidden:~]> cat awkprof.out
        # gawk profile, created Sat Aug 14 17:26:30 2010

        # Rule(s)

        /hour\\./       {
                print $0
        }
address@hidden:~]> echo "hour." | awk -f ./awkprof.out
address@hidden:~]>