From f45ac2ee0691d343ee634e17353a1c0475a6b966 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Wed, 24 Oct 2018 21:28:48 +0200
Subject: [PATCH] [Jenkins] Fixed analyzer-job.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index ae580b383db..d000ddcc0b0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -380,7 +380,7 @@ pipeline {
                 }
               }
               build { target = 'check-header' }
-              build { }
+              build { target = 'all' }
             }
           }
         }
-- 
GitLab