diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2018-11-05 19:06:44 +0100 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-11-05 19:06:44 +0100 |
| commit | a17d5362478c288887cb3f44c358fac9de8603dc (patch) | |
| tree | cc060379d699cd8923175d375a368c6595b2ffd5 /jenkinsfile.kernel.mainline | |
| parent | 29e66025b1cc3a03a1bfc6a24eafcf98c4046af0 (diff) | |
| download | jenkinsfiles-a17d5362478c288887cb3f44c358fac9de8603dc.tar.gz | |
switch to 4.19
Diffstat (limited to 'jenkinsfile.kernel.mainline')
| -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 da55a62..37456f5 100644 --- a/jenkinsfile.kernel.mainline +++ b/jenkinsfile.kernel.mainline @@ -8,7 +8,7 @@ def KernelSource() { checkout([ $class: 'GitSCM', branches: [ - [ name: '*/linux-4.18.y' ] + [ name: '*/linux-4.19.y' ] ], extensions: [ [ |