From a190aba6b118986769bfc180d963bc7a06c89545 Mon Sep 17 00:00:00 2001
From: "thomas.woehlke" <thomas.woehlke@rub.de>
Date: Tue, 23 Feb 2021 18:09:01 +0100
Subject: [PATCH] work

---
 build.cmd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.cmd b/build.cmd
index 183ee536..b18af64b 100644
--- a/build.cmd
+++ b/build.cmd
@@ -1,5 +1,5 @@
 pip install -r requirements\dev.in --user --force-reinstall --use-pep517 --no-cache-dir --compile --progress-bar pretty --log logfile1.txt
-pip install -e . --implementation py --python-version 3.8 --user --force-reinstall --use-pep517 --no-cache-dir --compile --progress-bar pretty --log logfile2.txt
+pip install -e . --user --force-reinstall --use-pep517 --no-cache-dir --compile --progress-bar pretty --log logfile2.txt
 rem pip install -q build --implementation py  --python-version 3.8 --user --force-reinstall --use-pep517 --compile --progress-bar pretty
 python -m build
 rem pip install -e . --compile --progress-bar pretty
-- 
GitLab