From 03cba76535e3811c823978d082d51d6da1ee2904 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Sun, 24 Jun 2018 12:19:21 +0200
Subject: [PATCH] Fixed Jenkinsfile-publish-sources

---
 Jenkinsfile-publish-sources | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile-publish-sources b/Jenkinsfile-publish-sources
index 6ebf408e7..a444928e3 100644
--- a/Jenkinsfile-publish-sources
+++ b/Jenkinsfile-publish-sources
@@ -2,6 +2,14 @@
 @Library("osconfig") _
 
 node("master") {
-  publish_sources(BRANCH_NAME)
+
+  stage("Checkout sources") {
+    checkout scm
+  }
+
+  stage("Publish sources") {
+    publish_sources(BRANCH_NAME)
+  }
+
 }