From 7e64491c2718d4f0d6cf7349a89be3c40be61cf0 Mon Sep 17 00:00:00 2001
From: Pawel Lipski <pawel.p.lipski@gmail.com>
Date: Sat, 9 Mar 2024 15:25:13 +0100
Subject: [PATCH] Fix local install in Dockerfile

---
 ci/docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/docker/Dockerfile b/ci/docker/Dockerfile
index 403bb1461..da5e30461 100644
--- a/ci/docker/Dockerfile
+++ b/ci/docker/Dockerfile
@@ -7,7 +7,7 @@ WORKDIR /tmp/input/
 RUN find . | sort
 RUN \
     export PYTHONDONTWRITEBYTECODE=1; \
-    pip install -e .; \
+    python setup.py install; \
     git machete --version; \
     rm -rf /tmp/input/