commit 0e4d52daab64bf8cb3c5021a7c5bc924d49e7556
author Yifan Hong <elsk@google.com> Tue Apr 30 18:03:23 2024 -0700
committer Yifan Hong <elsk@google.com> Wed May 01 16:54:32 2024 +0000
tree 0285f5243d461e804e1efd5362f5e2cf4fcf3693
parent 67a6731e6a4532736b00cd6481f413bd33929df8

kleaf: init_ddk.py properly set file:// URL.

Add missing //

Change-Id: I4cc8282e6ea8ff8129b23c90f164a8337f7983d5

init/init_ddk.py

diff --git a/init/init_ddk.py b/init/init_ddk.py
index 8c8a9d15..9d27d7f 100644
--- a/init/init_ddk.py
+++ b/init/init_ddk.py
@@ -167,11 +167,16 @@
         if not self.ddk_workspace or not self.kleaf_repo:
             return
         bazelrc = self.ddk_workspace / _DEVICE_BAZELRC
+
+        kleaf_repo = self._try_rel_workspace(self.kleaf_repo)
+        if not kleaf_repo.is_absolute():
+            kleaf_repo = (pathlib.Path("%workspace%") / kleaf_repo)
+
         self._update_file(
             bazelrc,
             textwrap.dedent(f"""\
             common --config=internet
-            common --registry=file:{self.kleaf_repo}/external/bazelbuild-bazel-central-registry
+            common --registry=file://{kleaf_repo}/external/bazelbuild-bazel-central-registry
             """),
         )