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 |