From 807e24ca54199edc14e968d9bae888f0d2e0ebf4 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sun, 9 Sep 2018 11:09:35 +0300 Subject: Change: use distribution_ci, instead of distribution We've used the same parameter name for CI and release builds. This caused obvious problems. Rename the parameter for CI builds to be distribution_ci. --- pipelines/debian.ick | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pipelines/debian.ick b/pipelines/debian.ick index 586c1f3..7d0e41b 100644 --- a/pipelines/debian.ick +++ b/pipelines/debian.ick @@ -104,13 +104,13 @@ pipelines: - pipeline: ick/build_deb_ci parameters: - sources - - distribution + - distribution_ci actions: - python: | import os sources = params['sources'] - distribution = params['distribution'] + distribution = params['distribution_ci'] for source in sources: dirname = source['location'] control = os.path.join(dirname, 'debian', 'control') @@ -164,7 +164,7 @@ pipelines: parameters: - sources - release_signing_keys - - distribution + - distribution_rel actions: - where: container -- cgit v1.2.1