fixup! Add enable-codegen-invariants flag to github CI tests

tmcgilchrist · Jan 16, 2025 · 68f0b89 · 68f0b89
1 parent c167361
commit 68f0b89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/ci/inria/main b/tools/ci/inria/main
@@ -155,7 +155,7 @@ conffile=Makefile.config
 make=make
 instdir="$HOME/ocaml-tmp-install"
 confoptions="--enable-ocamltest --enable-dependency-generation \
-${OCAML_CONFIGURE_OPTIONS}"
+--enable-codegen-invariants ${OCAML_CONFIGURE_OPTIONS}"
 make_native=true
 cleanup=false
 check_make_alldepend=false