Don't overwrite COQEXTRAFLAGS in test suite

SkySkimmer · yforster · commit a6c3bd86be84 · 2025-09-10T10:36:24.000+02:00
Fix Coq CI
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
