From 9e0daf19ed011e23839cd5bf10a6eff62e323caa Mon Sep 17 00:00:00 2001
From: Soeren Peters <peters@irmb.tu-bs.de>
Date: Tue, 27 Oct 2020 10:19:37 +0100
Subject: [PATCH] Use python3 to install lizard.

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4387c4ea7..845e7de4c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -215,7 +215,7 @@ lizard:
     - cd /tmp
     - git clone https://github.com/terryyin/lizard.git
     - cd lizard
-    - python setup.py install
+    - python3 setup.py install
     - which lizard
     - lizard --version
 
-- 
GitLab