[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Yet another small observation about warnings
|
From: |
Hermann Peifer |
|
Subject: |
Yet another small observation about warnings |
|
Date: |
Fri, 20 Oct 2023 11:30:56 +0200 |
|
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.15.1 |
For information. Hermann
> # No warning here, that's fine for me.
> ./gawk 'BEGIN{0}'
>
> # A lint warning here, makes sense to me.
> ./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}'
>
> # Double use of -p or --profile triggers a strange warning
> ./gawk --lint -p -p 'BEGIN{0}'
gawk: warning: `--profile' overrides `--pretty-print'
- Yet another small observation about warnings,
Hermann Peifer <=