From e9684f9db6e135b582f5898f72c857c6cf2e23f5 Mon Sep 17 00:00:00 2001
From: "thomas.woehlke" <thomas.woehlke@rub.de>
Date: Tue, 23 Feb 2021 15:58:47 +0100
Subject: [PATCH] work

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

diff --git a/build.cmd b/build.cmd
index 9bf7cdbd..8ac5f16a 100644
--- a/build.cmd
+++ b/build.cmd
@@ -1,4 +1,4 @@
-pip install -e .
+pip install -e . --progress-bar pretty
 pip install -q build
 python -m build
 pip install -e . --compile --progress-bar pretty
-- 
GitLab