Merge pull request #1203 from yforster/9.0-with-cherry-pick

ppedrot · web-flow · commit 1f2c5a0b2517 · 2025-09-10T11:08:33.000+02:00
Backport of "Don't overwrite COQEXTRAFLAGS in test suite"
diff --git a/test-suite/Makefile.rocq.local b/test-suite/Makefile.rocq.local
@@ -12,4 +12,5 @@ ifeq '$(METAROCQ_CONFIG)' 'local'
   export OCAMLPATH
 endif
 
-COQEXTRAFLAGS=-quiet
+COQEXTRAFLAGS?=
+COQEXTRAFLAGS+= -quiet
