From 8b1a78ce4e70ad22d2628471410b2a049d439e2d Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 24 Dec 2023 18:14:39 -0800 Subject: [PATCH] [CI] Add ocamlfind printconf destdir to system config description --- etc/ci/describe-system-config.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/etc/ci/describe-system-config.sh b/etc/ci/describe-system-config.sh index 8b6beff011..d295330569 100755 --- a/etc/ci/describe-system-config.sh +++ b/etc/ci/describe-system-config.sh @@ -41,6 +41,7 @@ group opam switch group opam list group ocamlc -config group ocamlc -where +group ocamlfind printconf destdir group ocamlfind list group ocamlfind query findlib group ocamlfind query zarith