From 5355bea8185cb15beebf6b30dc89eaa4d6abd3e6 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Mon, 26 Feb 2018 20:26:07 +0100
Subject: [PATCH] [Jenkins] Ignore markdown and pandoc files on git diff
--check.
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 09b1130fbf1..58c8a89a953 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,7 +13,7 @@ pipeline {
agent any
steps {
sh "git config core.whitespace -blank-at-eof"
- sh "git diff --check `git merge-base origin/master HEAD` HEAD"
+ sh "git diff --check `git merge-base origin/master HEAD` HEAD -- . ':!*.md' ':!*.pandoc'"
}
}
stage('Build') {
--
GitLab