From f0b72e3af7e45fe1e95bd3084dbc2ee44e9657f7 Mon Sep 17 00:00:00 2001 From: Johan Malm Date: Thu, 28 Dec 2023 21:35:13 +0000 Subject: [PATCH] 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. --- .github/workflows/build.yml | 2 ++ scripts/helper/.gitignore | 2 ++ 2 files changed, 4 insertions(+) create mode 100644 scripts/helper/.gitignore 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 -- 2.52.0