diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2021-07-07 10:53:00 +0200 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2021-07-07 11:28:37 +0200 |
| commit | 497ce6743a9c06c78b26cfa57298fff2275f0b2b (patch) | |
| tree | ff65f32cd9265b46234e9a4d19efabe9a3d878c6 /lint | |
| parent | 57804faaccd55b3ee4e90d1ea776768269cfe4a7 (diff) | |
lint: exclude *.ok, *.err
Complains about e.g. \r\n in *.ok files.
Related: OS#5087
Change-Id: I79004cec3e2eb753951a7f886318ac0db4ea2c06
Diffstat (limited to 'lint')
| -rwxr-xr-x | lint/checkpatch/checkpatch_osmo.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lint/checkpatch/checkpatch_osmo.sh b/lint/checkpatch/checkpatch_osmo.sh index bdbd125..b98e98b 100755 --- a/lint/checkpatch/checkpatch_osmo.sh +++ b/lint/checkpatch/checkpatch_osmo.sh @@ -2,6 +2,7 @@ SCRIPT_DIR="$(dirname "$(realpath "$0")")" # Excluded paths: +# * \.(ok|err)$: stdout and stderr of regression tests # * ^lint/checkpatch/: so it does not warn about spelling errors in spelling.txt :) # Ignored checks: @@ -23,6 +24,7 @@ SCRIPT_DIR="$(dirname "$(realpath "$0")")" # * STRING_FRAGMENTS: sometimes used intentionally to improve readability $SCRIPT_DIR/checkpatch.pl \ + --exclude '\.(ok|err)$' \ --exclude '^lint/checkpatch/' \ --ignore ASSIGN_IN_IF \ --ignore AVOID_EXTERNS \ |