From bfe29544373ae69fcb22a2528aef1fccdb1c3d8a Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Sat, 28 Nov 2020 11:36:22 +0100
Subject: [PATCH] Further debugging.

---
 Jenkinsfile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2ec87a9..0ab88bc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -49,20 +49,20 @@ pipeline {
                     #!/usr/bin/env bash
                     set +x
                     ## fetch old results
-                    information "Fetch old results file."
+                    echo "Fetch old results file."
                     sftp -oStrictHostKeyChecking=no -i "${KEYSTORE}" "${UPDATE_SITE_URL}/all-results.json"
-                    information "Got file"
+                    echo "Got file"
                     cat all-results.json
 
                     ## compile results into json
-                    information "Compile results"
+                    echo "Compile results"
                     frameworks/Kieker/scripts/compile-results/bin/compile-results "${BASE_DIR}/results-kieker/results-text.csv" "${BASE_DIR}/all-results.json"
-                    information "Done"
+                    echo "Done"
 
                     ## push results
-                    information "Push results back"
+                    echo "Push results back"
                     sftp -oStrictHostKeyChecking=no -i "${KEYSTORE}" "${UPDATE_SITE_URL}/all-results.json" <<< $'put all-results.json'
-                    information "Done"
+                    echo "Done"
                  ''')
             }       
        }
-- 
GitLab