From 3d6c5da042c9248256e4ba3c939be53e42902209 Mon Sep 17 00:00:00 2001
From: Evili del Rio <erio@iri.upc.edu>
Date: Fri, 26 Oct 2018 14:08:13 +0200
Subject: [PATCH] Correct invocation of coverage

---
 bin/test | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/test b/bin/test
index 1bbd0611..9dc057b2 100755
--- a/bin/test
+++ b/bin/test
@@ -21,7 +21,7 @@ DJANGO_INSTALLED=1
 coverage=$(which coverage 2> /dev/null)
 if [ -x "${coverage}" ]
 then
-    test_cmd=${coverage}
+    test_cmd="${coverage} run"
 else
     test_cmd=python
 fi
-- 
GitLab