]> xenbits.xensource.com Git - unikraft/unikraft.git/commitdiff
projects / unikraft / unikraft.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 780e8aa)
checkpatch: Add AVOID_BUG to ignored options
authorMichalis Pappas <michalis@unikraft.io>
Fri, 26 Jan 2024 09:55:43 +0000 (10:55 +0100)
committerUnikraft Bot <monkey@unikraft.io>
Tue, 6 Feb 2024 17:14:53 +0000 (17:14 +0000)
The AVOID_BUG rule also catches uses of UK_BUG(),
which is not discouraged by Unikraft's conventions.

Add to ignored checkpatch options to avoid unnecessary
warnings.

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Cezar Craciunoiu <cezar.craciunoiu@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1289

.checkpatch.conf patch | blob | blame | history

diff --git a/.checkpatch.conf b/.checkpatch.conf
index 0a43992b9370e0053104deb11f8e2621da3b2b44..92ec72bf05f70c44fcfa7488ddd674ed2c3df4d7 100644 (file)
--- a/.checkpatch.conf
+++ b/.checkpatch.conf
@@ -1,6 +1,7 @@
 --show-types
 --no-tree
 --ignore ASSIGN_IN_IF
+--ignore AVOID_BUG
 --ignore NEW_TYPEDEFS
 --ignore FILE_PATH_CHANGES
 --ignore OBSOLETE
Unikraft