opam: remove with-test commands

They are meant to be executed with an installed certicoq so won't work in the build step.
CertiCoq · Jan 27, 2025 · 59be195 · 59be195
1 parent 90068fd
commit 59be195
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/coq-certicoq.opam b/coq-certicoq.opam
@@ -23,8 +23,6 @@ build: [
   [make "all"]
   [make "plugins"]
   [make "bootstrap"]
-  [make "-C" "benchmarks" "all"] {with-test}
-  [make "-C" "bootstrap" "tests"] {with-test}
 ]
 install: [
   [make "install"]