diff --git a/Jenkinsfile b/Jenkinsfile index 04fd883..47a0619 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -187,7 +187,7 @@ Changelog of Git Changelog. mkdir test fi rm -Rf tests/UTF_Files - echo "$(find . -type f -exec file {} \\\\;)" > FileList + echo "$(find . -type f -exec file {} \\;)" > FileList echo "$(grep -v ASCII FileList | grep -v git)" > tests/UTF_Files''' } }