From b68a31266de5f13f97b5fe3103348f5e92a8b4c5 Mon Sep 17 00:00:00 2001
From: Clemens Lauermann <clemens.lauermann@htl-leoben.at>
Date: Tue, 28 Apr 2020 15:54:04 +0200
Subject: [PATCH] add a comment line

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 3f3f56a..c47ab8e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -156,6 +156,7 @@ pipeline {
             steps {
                 dir(env.GIT_PATH) {
                     script {
+                        // only include actually created files to the archive
                         env.FILES_TO_INCLUDE = ''
                         def include = env.ARCHIVE_FILES.split(' ').each { filename ->
                             if (fileExists(filename)) {