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 | 8edd42396d9257bcc76b5457f3c49834ef2cb22b (patch) | |
| tree | 5cc82c91dd4e5130d6abb30a7b66d5d1919cba57 /.github | |
| parent | 6e62967ee57a8ce0b804a5e6d103659722d56283 (diff) | |
| parent | 7539841ffd6ed3122986a4aef9fc0b60e477c607 (diff) | |
| download | tcl-8edd42396d9257bcc76b5457f3c49834ef2cb22b.zip tcl-8edd42396d9257bcc76b5457f3c49834ef2cb22b.tar.gz tcl-8edd42396d9257bcc76b5457f3c49834ef2cb22b.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 |