[CI] Fix elpi job following LPCIC/coq-elpi#661

proux01 · Jul 13, 2024 · 60bf226 · 60bf226
1 parent b59df13
commit 60bf226
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/ci/ci-elpi.sh b/dev/ci/ci-elpi.sh
@@ -10,6 +10,6 @@ git_download elpi
 if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
 
 ( cd "${CI_BUILD_DIR}/elpi"
-  make build DUNE_build_FLAGS="--root ."
+  make build
   make install DUNE_install_FLAGS=--prefix="$CI_INSTALL_DIR"
 )