diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2019-05-08 12:17:36 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2019-05-08 12:17:36 +0200 |
| commit | 04b6082d71cd1edb2df54409e7e17cca14b96ae8 (patch) | |
| tree | 3979698d079db59d44e16248f441e5efb424d32e | |
| parent | e03f240fe379d738b967216319153489262a7377 (diff) | |
| download | jenkinsfiles-04b6082d71cd1edb2df54409e7e17cca14b96ae8.tar.gz | |
switch to 5.1
| -rw-r--r-- | jenkinsfile.kernel.mainline | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinsfile.kernel.mainline b/jenkinsfile.kernel.mainline index 6192bdc..abbd59e 100644 --- a/jenkinsfile.kernel.mainline +++ b/jenkinsfile.kernel.mainline @@ -8,7 +8,7 @@ def KernelSource() { checkout([ $class: 'GitSCM', branches: [ - [ name: '*/linux-5.0.y' ] + [ name: '*/linux-5.1.y' ] ], extensions: [ [ |