Process the sources specified via the --source command line arguments
before sources read from repositories, so the former have a chance to
"override" the latter.
Related to RHBZ#1193238.
---
builder/builder.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/builder/builder.ml b/builder/builder.ml
index c7f1dae..a519913 100644
--- a/builder/builder.ml
+++ b/builder/builder.ml
@@ -158,7 +158,7 @@ let main () =
proxy = Downloader.SystemProxy;
}
) sources in
- let sources = List.append repos sources in
+ let sources = List.append sources repos in
let index : Index_parser.index =
List.concat (
List.map (
--
2.1.4