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