[setup] ensure DXT_ENV to be set before patching

parent c1c66f16
......@@ -7,15 +7,15 @@ if [ "X${OPTS}" == "X" ]; then
# patch dune-grid-glue
# define environment in case we are not in one of our dockers
# determines which one to use below environments/
if [ "X${DXT_ENVIRONMENT}" == "X" ]; then
export DXT_ENVIRONMENT=debian-full
# patch dune-grid-glue
# initialize the virtualenv, if not yet present
export BASEDIR="${PWD}"
mkdir -p e/${DXT_ENVIRONMENT}/venv && \
Markdown is supported
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