Fix el_docker when EDALIZE_EXTRA_DOCKER_FLAGS is not set

olofk · Oct 13, 2022 · 4044f2d · 4044f2d
1 parent b02e3eb
commit 4044f2d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/scripts/el_docker b/scripts/el_docker
@@ -110,7 +110,9 @@ if [c for c in containers if c["tool"] == toolname]:
         logger.error("ERROR: Tool {} not found in container list.".format(toolname))
         exit(1)
 
-    extra = os.environ["EDALIZE_EXTRA_DOCKER_FLAGS"].split(" ")
+    _extra = os.environ.get("EDALIZE_EXTRA_DOCKER_FLAGS")
+    extra = _extra.split(" ") if _extra else []
+
     prefix = (
         [
             "docker",