From: Johan Malm <jgm323@gmail.com>
Date: Thu, 28 Dec 2023 21:35:13 +0000 (+0000)
Subject: ci: include scripts/find-banned.sh
X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=f0b72e3af7e45fe1e95bd3084dbc2ee44e9657f7;p=proto%2Flabwc.git

ci: include scripts/find-banned.sh

...to search for functions which have been banned from our code base,
because they're too easy to misuse, and even if used correctly,
complicate audits, cause inconsistencies and/or make static analysis
harder.
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d78f0877..beaffb14 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -18,6 +18,8 @@ jobs:
       - name: Code Style
         run: |
           ./scripts/check
+          make -C scripts/helper
+          ./scripts/find-banned.sh
   build:
     name: Build
     needs: codestyle
diff --git a/scripts/helper/.gitignore b/scripts/helper/.gitignore
new file mode 100644
index 00000000..3f09a209
--- /dev/null
+++ b/scripts/helper/.gitignore
@@ -0,0 +1,2 @@
+find-idents
+*.o