From 920befac5919463b830219643844b3709b5064af Mon Sep 17 00:00:00 2001
From: Philipp Spilger <philipp.spilger@kip.uni-heidelberg.de>
Date: Tue, 13 Feb 2024 10:17:21 +0100
Subject: [PATCH] chore: Remove unused environment variable for host.env
location from Jenkinsfile
Change-Id: I37e01cb7eb117ffb6725a82f568284f73cde86c2
---
.ci/Jenkinsfile | 4 ----
.ci/Jenkinsfile_asic | 4 ----
2 files changed, 8 deletions(-)
diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
index 0dceb1c8..69bfc255 100755
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@@ -27,10 +27,6 @@ pipeline {
description: 'Which buildcache to use? They reside under $HOME/build_caches/$BUILD_CACHE_NAME and will be created if they do not exist.')
}
- environment {
- YASHCHIKI_HOST_ENV_PATH = "${WORKSPACE}/host.env"
- }
-
stages {
stage('Container Build') {
// TODO: remove once unused
diff --git a/.ci/Jenkinsfile_asic b/.ci/Jenkinsfile_asic
index 9fd0e7ed..b7f8716e 100755
--- a/.ci/Jenkinsfile_asic
+++ b/.ci/Jenkinsfile_asic
@@ -27,10 +27,6 @@ pipeline {
description: 'Which buildcache to use? They reside under $HOME/build_caches/$BUILD_CACHE_NAME and will be created if they do not exist.')
}
- environment {
- YASHCHIKI_HOST_ENV_PATH = "${WORKSPACE}/host.env"
- }
-
stages {
stage('Container Build') {
// TODO: remove once unused
--
GitLab