diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2018-03-29 12:55:50 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-03-29 12:55:50 +0200 |
| commit | ed3af2c82140e51df5de4ed2cda7faa55d59bee3 (patch) | |
| tree | 755b5e2fc39fe669d2c8716c99985b3e577f7c86 | |
| parent | d85a981150e2eb793f5d6a528a2ae212242543e5 (diff) | |
| download | seabios-ed3af2c82140e51df5de4ed2cda7faa55d59bee3.tar.gz | |
jenkinsfile update
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 9d5a463..a479205 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -37,7 +37,7 @@ def RPMBuild() { # tweak spec file sed -i.orig \ - -e "s/\\(Version:[ \\t]\\+\\)\\(.*\\)/\\$1${version}/" \ + -e "s/\\(Version:[ \\t]\\+\\)\\(.*\\)/\\1${version}/" \ *.spec diff *.spec.orig *.spec |