diff --git a/.github/workflows/linux-build.yml b/.github/workflows/linux-build.yml index 26a8cd92103..65ca7641930 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: