From 1655eb3b4859c21fa2766c2574e8919a831f220e Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Wed, 7 Oct 2015 18:09:31 +0200
Subject: Fix a typo

---
 readme.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/readme.md b/readme.md
index 789fc95..4246391 100644
--- a/readme.md
+++ b/readme.md
@@ -56,7 +56,7 @@ Go to directory codeq-server/python/runner and run the following commands to
 build the sandbox and set appropriate permissions:
 
     make sandbox
-    mate terminator
+    make terminator
     sudo setcap cap_setuid,cap_setgid+ep sandbox
     sudo setcap cap_setuid,cap_setgid+ep terminator
 
-- 
cgit v1.2.1