|
From: | Hermann Peifer |
Subject: | Re: Yet another small observation about warnings |
Date: | Fri, 20 Oct 2023 13:43:59 +0200 |
User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.15.1 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |