Escape forgotten backslash

Author: Theofilos Manitaras

JenkinsfileDeploy

@@ -31,7 +31,7 @@ stage('Production PR') {
                           git clone [email protected]:eth-cscs/production.git
                           cd production/easybuild/easyconfigs/r/reframe
                           git checkout -b reframe/${version}
-                          sed -r "s/(version\s*=\\s*)'${ebTemplate}'/\\1'${version}'/g" reframe-${ebTemplate}.eb > reframe-${version}.eb
+                          sed -r "s/(version\\s*=\\s*)'${ebTemplate}'/\\1'${version}'/g" reframe-${ebTemplate}.eb > reframe-${version}.eb
                           git add reframe-${version}.eb
                           git commit -m "Add recipe for ReFrame version ${version}"
                           git push origin HEAD