Skip to content
Snippets Groups Projects
Commit dc00dbe0 authored by Philipp Spilger's avatar Philipp Spilger Committed by Eric Müller
Browse files

chore: Remove unused dummy_variables.sh 

Change-Id: Iaeeb019697f01a334bb1cd2fcf5e2e712ce006fe
parent 93e9b935
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
lib/yashchiki/dummy_variables.sh deleted 100755 → 0
+ 0
− 8
View file @ 93e9b935
#!/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}"
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment