diff options
author | jan.nijtmans <nijtmans@users.sourceforge.net> | 2023-09-15 06:34:43 (GMT) |
---|---|---|
committer | jan.nijtmans <nijtmans@users.sourceforge.net> | 2023-09-15 06:34:43 (GMT) |
commit | de032b40caaeb269df7498a294f5826ec9acf1b8 (patch) | |
tree | 5cc82c91dd4e5130d6abb30a7b66d5d1919cba57 /.github | |
parent | c5dbe2dfbe50eb2487d1397aa21f0e83c41a2029 (diff) | |
parent | 7539841ffd6ed3122986a4aef9fc0b60e477c607 (diff) | |
download | tcl-de032b40caaeb269df7498a294f5826ec9acf1b8.zip tcl-de032b40caaeb269df7498a294f5826ec9acf1b8.tar.gz tcl-de032b40caaeb269df7498a294f5826ec9acf1b8.tar.bz2 |
Merge 8.7
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 |