Skip to content

Commit

Permalink
ignore argument if specified distro doesnt exist
Browse files Browse the repository at this point in the history
  • Loading branch information
mikaelarguedas committed Jan 6, 2020
1 parent 9915909 commit ff38f1e
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion src/rosdep2/sources_list.py
Original file line number Diff line number Diff line change
Expand Up @@ -487,7 +487,14 @@ def update_sources_list(sources_list_dir=None, sources_cache_dir=None,
python_versions = {}

print('Query rosdistro index %s' % get_index_url())
for dist_name in sorted(get_index().distributions.keys()):
distribution_name_list = sorted(get_index().distributions.keys())
if ros_distro not in distribution_name_list:
print(
'Requested distribution "%s" is not in the index.'
' Ignoring ros_distro argument' % ros_distro)
ros_distro = None

for dist_name in distribution_name_list:
distribution = get_index().distributions[dist_name]
if ros_distro is not None:
if dist_name != ros_distro:
Expand Down

0 comments on commit ff38f1e

Please sign in to comment.