pass "--no-extra-repo" in x-mirage-pre-build instructions

mirage · Jul 7, 2022 · 05d206c · 05d206c
1 parent b4f41ef
commit 05d206c
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/lib/functoria/lib.ml b/lib/functoria/lib.ml
@@ -145,7 +145,7 @@ module Make (P : S) = struct
     let opts =
       if command_line_arguments = "" then None else Some command_line_arguments
     in
-    ( Fmt.str {|%s configure%a|} P.name
+    ( Fmt.str {|%s configure%a --no-extra-repo|} P.name
         Fmt.(option ~none:(any "") (any " " ++ string)) opts,
       (fun sub -> Fmt.str {|make %a"depend"|}
           Fmt.(option ~none:(any "")

diff --git a/test/functoria/query/run.t b/test/functoria/query/run.t
@@ -29,7 +29,7 @@ Query opam file
   ]
 
   x-mirage-pre-build: [
-    [ "sh" "-exc" "test configure" ]
+    [ "sh" "-exc" "test configure --no-extra-repo" ]
     [ make "depend" ]
   ]
 

diff --git a/test/mirage/query/run-hvt.t b/test/mirage/query/run-hvt.t
@@ -34,7 +34,7 @@ Query opam file
   ]
 
   x-mirage-pre-build: [
-    [ "sh" "-exc" "mirage configure --target hvt" ]
+    [ "sh" "-exc" "mirage configure --target hvt --no-extra-repo" ]
     [ make "depend" ]
   ]
 

diff --git a/test/mirage/query/run.t b/test/mirage/query/run.t
@@ -37,7 +37,7 @@ Query opam file
   ]
 
   x-mirage-pre-build: [
-    [ "sh" "-exc" "mirage configure" ]
+    [ "sh" "-exc" "mirage configure --no-extra-repo" ]
     [ make "depend" ]
   ]