diff options
author | Lars Wirzenius <liw@liw.fi> | 2018-09-09 11:09:35 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2018-09-09 11:09:35 +0300 |
commit | 807e24ca54199edc14e968d9bae888f0d2e0ebf4 (patch) | |
tree | 3103f7254c32fbdfed8581c7bd074cbe0c3d40d5 | |
parent | 49a6e9843f1c14ba4056e347e8cb0152f8e2d45c (diff) | |
download | ick2-807e24ca54199edc14e968d9bae888f0d2e0ebf4.tar.gz |
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.
-rw-r--r-- | pipelines/debian.ick | 6 |
1 files 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 |