diff --git a/modules/jenkins/files/slave_scripts/run-xmllint.sh b/modules/jenkins/files/slave_scripts/run-xmllint.sh
index 7cce7a9780..4edf7d61bd 100755
--- a/modules/jenkins/files/slave_scripts/run-xmllint.sh
+++ b/modules/jenkins/files/slave_scripts/run-xmllint.sh
@@ -1,4 +1,4 @@
 #!/bin/bash -xe
 
 mkdir -p target/
-/usr/bin/xmllint -noent $1 'basename $1'
+/usr/bin/xmllint -noent $1 > target/`basename $1`