diff options
| author | Junio C Hamano <gitster@pobox.com> | 2025-04-16 13:54:16 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2025-04-16 13:54:16 -0700 |
| commit | 4df6c120fe20110d531c468038c766fda2243d2c (patch) | |
| tree | 0fff11682f2048b9c1123ba844e5f201bcc3d20b | |
| parent | 77d6ee513fb1d34577aab0aa589f41b4cc4be33d (diff) | |
| parent | da87b58014c1673ed8c47a14d315ad5ad4d801db (diff) | |
Merge branch 'dd/sparse-glibc-workaround'
Squelch false-positive from sparse.
* dd/sparse-glibc-workaround:
sparse: ignore warning from new glibc headers
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1412,7 +1412,7 @@ ARFLAGS = rcs PTHREAD_CFLAGS = # For the 'sparse' target -SPARSE_FLAGS ?= -std=gnu99 +SPARSE_FLAGS ?= -std=gnu99 -D__STDC_NO_VLA__ SP_EXTRA_FLAGS = # For informing GIT-BUILD-OPTIONS of the SANITIZE=leak,address targets |