diff options
Diffstat (limited to '.github/workflows/build.yml')
-rw-r--r-- | .github/workflows/build.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index f33670e63..a005fefd7 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml | |||
@@ -79,8 +79,9 @@ jobs: | |||
79 | run: ./ci/printenv.sh | 79 | run: ./ci/printenv.sh |
80 | - name: configure | 80 | - name: configure |
81 | run: > | 81 | run: > |
82 | CC=gcc-12 ./configure --prefix=/usr --enable-fatal-warnings | 82 | ./configure CC=gcc-12 |
83 | --enable-analyzer --enable-apparmor --enable-selinux | 83 | --prefix=/usr --enable-fatal-warnings --enable-analyzer |
84 | --enable-apparmor --enable-selinux | ||
84 | || (cat config.log; exit 1) | 85 | || (cat config.log; exit 1) |
85 | - name: make | 86 | - name: make |
86 | run: make | 87 | run: make |