diff options
author | Lars Wirzenius <liw@liw.fi> | 2018-09-09 11:04:07 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2018-09-09 11:04:07 +0300 |
commit | 214e48fc07661257b2223f611653379e36602a48 (patch) | |
tree | 16eb1511cc2acf8a718cd181a8b016ee29099787 | |
parent | 133b072bc4e42150a755d803397a3fe8fa8624b0 (diff) | |
download | ick-helpers-214e48fc07661257b2223f611653379e36602a48.tar.gz |
Change: get Debian distribution from distribution_rel
Previously we got it from distribution, which conflicted with the
parameter for CI builds. CI builds now use distribution_ci. Change the
release one as well, so we can easily catch places where we need to
change.
-rw-r--r-- | ick_helpers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ick_helpers.py b/ick_helpers.py index a122cd3..477c615 100644 --- a/ick_helpers.py +++ b/ick_helpers.py @@ -283,7 +283,7 @@ def find_upstream_dirs(sources): def build_debian_releases(params, resultsdir): sources = params['sources'] - distribution = params['distribution'] + distribution = params['distribution_rel'] debfullname = params['DEBFULLNAME'] debemail = params['DEBEMAIL'] known = KnownTags() |