Re: Yet another small observation about warnings

[Hermann Peifer]

Thanks. Works fine for fixing the double use of "-p".

This earlier mentioned behaviour continues to be present:

>>   > # A lint warning here.
>>   > ./gawk --lint 'BEGIN{0}'
>> gawk: cmd. line:1: warning: statement has no effect
>>   >
>>   > # --profile makes the lint warning go away. Why?
>>   > ./gawk --lint --profile 'BEGIN{0}'
>>   >


On 20/10/2023 12.59, arnold@skeeve.com wrote:
> Hi.
>
> Thanks for the report.  Patch below.
>
> Arnold