From aa132cc61977b3822b8fae7b778ba76ae8be324f Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Sat, 21 Nov 2020 11:00:00 +0100
Subject: [PATCH] Set timeout to 4 hours.
---
Jenkinsfile | 4 ++++
frameworks/Kieker/scripts/run-benchmark.sh | 2 --
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index b73d4b3..973fcba 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,6 +2,10 @@
pipeline {
+ options {
+ timeout(time: 4, unit: 'HOURS')
+ }
+
agent { label "build-node8" }
environment {
diff --git a/frameworks/Kieker/scripts/run-benchmark.sh b/frameworks/Kieker/scripts/run-benchmark.sh
index 537fdad..d9746a3 100755
--- a/frameworks/Kieker/scripts/run-benchmark.sh
+++ b/frameworks/Kieker/scripts/run-benchmark.sh
@@ -36,8 +36,6 @@ mkdir -p ${BASE_DIR}/results-kieker
rm -f ${COLLECTED_DATA_FILE}
-ls ${BASE_DIR}
-
## run loop
for ((v=1;v<=${NUM_OF_REPEATS};v+=1)); do
echo "++++++++++++++++++++++++++"
--
GitLab