From c23bcd2f29a86cfa15d6d8694f10d6631db2db2e Mon Sep 17 00:00:00 2001
From: JonasKubitza <jonas.kubitza@accso.de>
Date: Tue, 27 Jun 2023 12:04:55 +0000
Subject: [PATCH] Change logging output
---
scripts/lib/repo.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/lib/repo.py b/scripts/lib/repo.py
index d18a570..3f1504b 100644
--- a/scripts/lib/repo.py
+++ b/scripts/lib/repo.py
@@ -239,7 +239,7 @@ def loadBuildModule(f, b, remote_repo=None, offline=False):
# Try with an existing local build repository first
m = Module(None, b)
if m and (offline or m.is_valid_uri()):
- info("Using build repo URI {}".format(m.uri()))
+ info("Using local build repo URI {}".format(m.uri()))
if remote_repo and remote_repo not in m.uri():
warn("Git remote of local build repo doesn't match specified " \
"remote repo name")
--
GitLab