diff options
| -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 26a8cd9..65ca764 100644 --- a/.github/workflows/linux-build.yml +++ b/.github/workflows/linux-build.yml @@ -20,6 +20,7 @@ jobs: - "--enable-symbols" - "--enable-symbols=mem" - "--enable-symbols=all" + - "CFLAGS=-ftrapv" - "CFLAGS=-DTCL_UTF_MAX=4" - "CFLAGS=-DTCL_UTF_MAX=6" defaults: |