From 5048fa93009c2b9d8c57644e3f63796d9f84f4ba Mon Sep 17 00:00:00 2001
From: Dominik Chilla <dominik@zwackl.de>
Date: Thu, 13 Jun 2019 19:24:16 +0200
Subject: [PATCH] Jenkins staging

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

diff --git a/Jenkinsfile b/Jenkinsfile
index bb4532b..943e892 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,6 +2,7 @@ node {
   def app
 
   stage('Clone repository') {
+      sh '/usr/bin/env'
       /* Let's make sure we have the repository cloned to our workspace */
       checkout scm
   }