From 05d206c77680fbdb1b6300af973fd022db6bc8e8 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Thu, 7 Jul 2022 09:13:09 +0200
Subject: [PATCH] pass "--no-extra-repo" in x-mirage-pre-build instructions

---
 lib/functoria/lib.ml        | 2 +-
 test/functoria/query/run.t  | 2 +-
 test/mirage/query/run-hvt.t | 2 +-
 test/mirage/query/run.t     | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/functoria/lib.ml b/lib/functoria/lib.ml
index ae979ea34..017990d8f 100644
--- 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
index 9140b29d4..59a1b9ea7 100644
--- 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
index 5ea90d5ae..0318bdc95 100644
--- 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
index 01129b863..67d2c90ea 100644
--- 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" ]
   ]