Prioritize dockerized commands over local in el_docker

A recent change prioritized local commands. This reverts that change.
olofk · Feb 17, 2022 · 01ef0c0 · 01ef0c0
1 parent 3765a8c
commit 01ef0c0
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/scripts/el_docker b/scripts/el_docker
@@ -77,11 +77,8 @@ containers = [
 tool = sys.argv[1]
 toolname = os.path.basename(tool)
 
-# If command exists locally, use it
-if shutil.which(toolname) is not None:
-    cmd = sys.argv[1:]
 # If it's in the container list, wrap with Docker
-elif [c for c in containers if c["tool"] == toolname]:
+if [c for c in containers if c["tool"] == toolname]:
     (build_root, work) = os.path.split(os.getcwd())
     dockerEnv = ""
     for k in os.environ: