osmith submitted this change.

Approvals:
  Jenkins Builder: Verified
  fixeria: Looks good to me, approved

jobs/coverity.yml: add parameter for git branch

Allow configuring a different git branch before starting the build. This
is especially useful to reproduce a failure that only happens when using
coverity tools during a build.

Change-Id: I5f7c615ff5af4bf1f34ccef62767b5ca71cd2d8d
---
M jobs/coverity.yml
1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/jobs/coverity.yml b/jobs/coverity.yml
index 980c30c..cb39ea6 100644
--- a/jobs/coverity.yml
+++ b/jobs/coverity.yml
@@ -24,13 +24,18 @@
       - build-discarder:
           days-to-keep: 30
           num-to-keep: 30
+    parameters:
+      - string:
+          name: BRANCH
+          description: osmo-ci.git branch
+          default: 'origin/master'
     scm:
       - git:
           url: git://git.osmocom.org/osmo-ci
           git-config-name: 'Jenkins Builder'
           git-config-email: 'jenkins@osmocom.org'
           branches:
-            - 'origin/master'
+            - '$BRANCH'
     triggers:
       - timed: "@daily"
     publishers:

To view, visit change 28580. To unsubscribe, or for help writing mail filters, visit settings.