mirror of
https://git.launchpad.net/ubuntu-dev-tools
synced 2025-05-30 10:11:28 +00:00
Error out cleanly if unknown codename specified
This commit is contained in:
parent
984ebf5e9b
commit
71b8bf786f
@ -160,6 +160,9 @@ def find_release_package(launchpad, mirror, workdir, package, version, source_re
|
|||||||
|
|
||||||
if source_release:
|
if source_release:
|
||||||
distribution = codename_to_distribution(source_release)
|
distribution = codename_to_distribution(source_release)
|
||||||
|
|
||||||
|
if not distribution:
|
||||||
|
error('Unknown release codename %s' % source_release)
|
||||||
else:
|
else:
|
||||||
distribution = system_distribution()
|
distribution = system_distribution()
|
||||||
mirrors = (mirror,) if mirror else ()
|
mirrors = (mirror,) if mirror else ()
|
||||||
|
Loading…
x
Reference in New Issue
Block a user