Re: [bug-gawk] @load directive is not copied into awkprof.out

[Hermann Peifer]

On 2013-02-28 10:55, address@hidden wrote:
> Hi.  Thanks for the bug report.
>
> Hermann Peifer <address@hidden> wrote:
> > Hi,
> >
> > I noted that the @load directive is not copied into awkprof.out, see
> > below. I am not sure if this is a feature or rather a (minor) bug, but I
> > thought it would be worth reporting.
> >
> > Regards, Hermann
> >
> > -----------------
> >
> > $ gawk -V | head -1
> > GNU Awk 4.0.73, API: 0.0 (GNU MPFR 3.1.1-p2, GNU MP 5.0.5)
> >
> > $ gawk -o '@load "ordchr"; BEGIN {print chr(65)}' > /dev/null && cat
> > awkprof.out
> >         # gawk profile, created Wed Feb 27 17:39:25 2013
> >
> >         # BEGIN block(s)
> >
> >         BEGIN {
> >                 print chr(65)
> >         }
>
> It's a minor bug. This patch fixes it. I will push it later. Thank you
> for the bug report!
>
> Arnold

Thanks for taking care. I just pulled the fix from git. It works as 
expected.

Thanks again, Hermann