diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-01 12:13:43 +0100 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-06 10:39:58 +0100 |
commit | cef505af81f3e3ad271b3f84e31b3d2b2ce5a194 (patch) | |
tree | b391112c71fa18badb0112da05530cb2a8eb62be /bin/just-mr.py | |
parent | 4f130dd015a275c6ae0eebd5692f8777820549a7 (diff) | |
download | justbuild-cef505af81f3e3ad271b3f84e31b3d2b2ce5a194.tar.gz |
just-mr.py: Remove unused function argument
Diffstat (limited to 'bin/just-mr.py')
-rwxr-xr-x | bin/just-mr.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/just-mr.py b/bin/just-mr.py index 2be38ab1..6a066d8d 100755 --- a/bin/just-mr.py +++ b/bin/just-mr.py @@ -560,7 +560,7 @@ def distdir_tree_id_file(content): return os.path.join(ROOT, "distfiles-tree-map", content) -def distdir_checkout(name, desc, repos): # DEBUG (added name) +def distdir_checkout(desc, repos): """ Logic for processing the distdir repo type. """ content = {} @@ -650,7 +650,7 @@ def checkout(desc, *, name, repos): if repo_type == "file": return file_checkout(repo_desc) if repo_type == "distdir": - return distdir_checkout(name, repo_desc, repos=repos) # DEBUG (added name) + return distdir_checkout(repo_desc, repos=repos) fail("Unknown repository type %s for %s" % (repo_type, name)) |