diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/linux-build.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/linux-build.yml b/.github/workflows/linux-build.yml index 7c015df..b616d14 100644 --- a/.github/workflows/linux-build.yml +++ b/.github/workflows/linux-build.yml @@ -21,6 +21,7 @@ jobs: - "--enable-symbols" - "--enable-symbols=mem" - "--enable-symbols=all" + - "CFLAGS=-ftrapv" defaults: run: shell: bash |