diff options
| author | Tomek Mrugalski <tomek@isc.org> | 2023-05-12 09:57:30 +0200 |
|---|---|---|
| committer | Tomek Mrugalski <tomek@isc.org> | 2023-05-19 13:41:54 +0200 |
| commit | 3c2a12a271a4e6e2b9d766e4c06269308876fa77 (patch) | |
| tree | 3b1e6823d94f2fe797469cbf6fd087931554c81a /.github/workflows/codeql.yml | |
| parent | [#2760] ChangeLog updated (diff) | |
| download | kea-3c2a12a271a4e6e2b9d766e4c06269308876fa77.tar.xz kea-3c2a12a271a4e6e2b9d766e4c06269308876fa77.zip | |
[#2760] Experiment with enabling many extra flags
Diffstat (limited to '.github/workflows/codeql.yml')
| -rw-r--r-- | .github/workflows/codeql.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 6fa09fc5ed..8c6fd3a737 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -44,17 +44,19 @@ jobs: # If this step fails, then you should remove it and run the build manually (see below) - name: Install dependencies run: | - ./hammer.py prepare-system -p local + ./hammer.py prepare-system -p local -w all - name: Inspect system CPU run: cat /proc/cpuinfo # We want to enable shell, so python files are generated. And CodeQL can # check them. + + # Flags skipped: --with-gssapi - name: Build Kea run: | autoreconf -i - ./configure --enable-shell + ./configure --enable-shell --enable-debug --enable-generate-docs --enable-generate-messages --enable-generate-parser --enable-logger-checks --enable-perfdhcp --enable-shell --with-freeradius --with-libyang --with-libyang-cpp --with-mysql --with-openssl --with-pgsql --with-sysrepo --with-sysrepo-cpp make -j2 # ℹ️ Command-line programs to run using the OS shell. |