From 254b97612d30d4a53d0fa4e7f5c4ded45155f41a Mon Sep 17 00:00:00 2001
From: Marc Fehling <mafehling.git@gmail.com>
Date: Wed, 8 Mar 2023 12:12:05 +0100
Subject: [PATCH] Double escape.

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index dcd11f43..ba8714f0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -69,8 +69,8 @@ pipeline
               for f in publications-*.bib ; do \
                 bibtool -q -r bibtool.rsc -i ./$f -o ./$f || exit 1 ; \
               done
-              git diff --ignore-blank-lines -I\"% Encoding: US-ASCII\" -I\"@Comment{jabref-meta: databaseType:bibtex;}\"
-              git diff-files --ignore-blank-lines -I\"% Encoding: US-ASCII\" -I\"@Comment{jabref-meta: databaseType:bibtex;}\" --quiet || exit $?
+              git diff --ignore-blank-lines -I\\"% Encoding: US-ASCII\" -I\\"@Comment{jabref-meta: databaseType:bibtex;}\\"
+              git diff-files --ignore-blank-lines -I\\"% Encoding: US-ASCII\\" -I\\"@Comment{jabref-meta: databaseType:bibtex;}\\" --quiet || exit $?
               git reset --hard
             '''
           }