Merge pull request #288 from sysprog21/fix-style

CI: Fix recent Cppcheck and Sparse usage
sysprog21 · Dec 11, 2024 · 0b455a2 · 0b455a2
2 parents 6e3aee6 + a16a278
commit 0b455a2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/.ci/non-working b/.ci/non-working
@@ -2,3 +2,4 @@ bottomhalf
 bh_threaded
 intrpt
 vkbd
+syscall-steal
diff --git a/.ci/static-analysis.sh b/.ci/static-analysis.sh
@@ -19,7 +19,7 @@ function do_cppcheck()
     # - [*.c] missingIncludeSystem: Focus on the example code, not the kernel headers.
 
     local OPTS="
-            --enable=warning,style,performance,information
+            --enable=warning,performance,information
             --suppress=unusedFunction:hello-1.c
             --suppress=missingIncludeSystem
             --std=c89 "

diff --git a/.github/workflows/status-check.yaml b/.github/workflows/status-check.yaml
@@ -23,7 +23,7 @@ jobs:
         if: ${{ steps.changed-files.outputs.any_changed == 'true' ||
                 github.event_name == 'workflow_dispatch' }}
         run: |
-            sudo apt install -q -y clang-format cppcheck gcc
+            sudo apt install -q -y clang-format cppcheck gcc libsqlite3-dev
             .ci/check-newline.sh
             .ci/check-format.sh
             .ci/static-analysis.sh
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,3 +2,4 @@ bottomhalf @@
     bh_threaded
     intrpt
     vkbd
+    syscall-steal