diff --git a/Jenkinsfile b/Jenkinsfile
index 1dfc42b..c270952 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -55,8 +55,6 @@ pipeline {
                         sh 'bin/test.sh 2>&1 | tee debug ; test ${PIPESTATUS[0]} -eq 0'
                         sh 'echo Docker containers before compositions tests ; docker ps -a'		// temporary
 
-                        sh 'xmllint &>> debug'		// temporary
-
                         sh '(cd demo/simple ; bats tests ) 2>&1 | tee -a debug ; test ${PIPESTATUS[0]} -eq 0'
                         sh '(cd demo/shibboleth ; bats tests ) 2>&1 | tee -a debug ; test ${PIPESTATUS[0]} -eq 0'
                         sh '(cd demo/complex ; bats tests ) 2>&1 | tee -a debug ; test ${PIPESTATUS[0]} -eq 0'