diff options
| author | Aaron Kling <webgeek1234@gmail.com> | 2020-06-19 18:43:16 -0500 |
|---|---|---|
| committer | Aaron Kling <webgeek1234@gmail.com> | 2020-06-28 11:31:09 -0500 |
| commit | f1cfef0a125bbed157d2c98bcad555e6fd247c37 (patch) | |
| tree | 43d26000e646806b22f4247087ef0c8436dfdb86 | |
| parent | 2a621ba1aca014a44627878ab2ad76b52fc25943 (diff) | |
| download | external_wget-f1cfef0a125bbed157d2c98bcad555e6fd247c37.tar.gz external_wget-f1cfef0a125bbed157d2c98bcad555e6fd247c37.tar.bz2 external_wget-f1cfef0a125bbed157d2c98bcad555e6fd247c37.zip | |
repopick: Fallback to name when project path is empty
When a manifest project path and project name is identical, the
repo manifest parser returns None for the project path. Since
both name and path are required, fall back to using name for path
when path is None.
Change-Id: I2fb3cc0cc643808a3049171804742f249d737679
| -rwxr-xr-x | build/tools/repopick.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build/tools/repopick.py b/build/tools/repopick.py index cf264a06..8950acec 100755 --- a/build/tools/repopick.py +++ b/build/tools/repopick.py @@ -251,7 +251,8 @@ if __name__ == '__main__': for project in projects: name = project.get('name') - path = project.get('path') + # when name and path are equal, "repo manifest" doesn't return a path at all, so fall back to name + path = project.get('path', name) revision = project.get('revision') if revision is None: for remote in remotes: |