diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2018-03-29 13:01:20 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-03-29 13:01:20 +0200 |
| commit | 53635a16b6bfa004f4d3973add20ab90a0c83766 (patch) | |
| tree | f4d0dbaa8d1df2ce7c306810d59f31f43c16d875 | |
| parent | c7c592e281afb12e635877b0afbfc8a7fe1e9c11 (diff) | |
| download | seabios-53635a16b6bfa004f4d3973add20ab90a0c83766.tar.gz | |
jenkinsfile update
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 2814d37..04c239f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -41,7 +41,7 @@ def RPMBuild() { -e "s/\\(Release:[ \\t]\\+\\)\\(.*\\)/\\1${gcnt}.${BUILD_NUMBER}.${ghash}/" \ -e "s/\\(Source0:[ \\t]\\+\\)\\(.*\\)/\\1${tarball}/" \ *.spec - diff -u *.spec.orig *.spec + diff -u *.spec.orig *.spec || true # build package rpmbuild \ |