From 08da1c5e7004f15f83302ce3b7d360af4ec1d431 Mon Sep 17 00:00:00 2001
From: Arne Teuke <arne_teuke@confdroid.com>
Date: Tue, 11 Jul 2017 18:12:23 +0100
Subject: [PATCH] finalised this stage

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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'''
         }
       }