Specify output

dbeurle · dbeurle · commit 6a1deb7ac3d8 · 2018-06-29T23:11:05.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -27,7 +27,7 @@ pipeline {
               sh '''
                   cd build
                   make coverage
-                  gcovr --xml > coverage.xml
+                  gcovr --xml --output coverage.xml
                   cobertura autoUpdateHealth: false,
                   autoUpdateStability: false,
                   coberturaReportFile: 'build/coverage.xml',
