From dc00dbe0b7ac2a9033483f94b848454465f904eb Mon Sep 17 00:00:00 2001
From: Philipp Spilger <philipp.spilger@kip.uni-heidelberg.de>
Date: Wed, 28 Feb 2024 14:26:54 +0100
Subject: [PATCH] chore: Remove unused dummy_variables.sh

Change-Id: Iaeeb019697f01a334bb1cd2fcf5e2e712ce006fe
---
 lib/yashchiki/dummy_variables.sh | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100755 lib/yashchiki/dummy_variables.sh

diff --git a/lib/yashchiki/dummy_variables.sh b/lib/yashchiki/dummy_variables.sh
deleted file mode 100755
index 813247f0..00000000
--- a/lib/yashchiki/dummy_variables.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/usr/bin/env bash
-
-echo "Setting undefined required environment variables to 'undefined'." >&2
-
-export BUILD_CACHE_NAME="${BUILD_CACHE_NAME:-undefined}"
-export DEPENDENCY_PYTHON="${DEPENDENCY_PYTHON:-undefined}"
-export YASHCHIKI_SPACK_GCC="${YASHCHIKI_SPACK_GCC:-undefined}"
-export WORKSPACE="${WORKSPACE:-undefined}"
-- 
GitLab