summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-10-07 18:09:31 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-10-07 18:09:31 +0200
commit1655eb3b4859c21fa2766c2574e8919a831f220e (patch)
tree01ceee547ec2257aad582ca7bca0c21353ba131b
parent6d35f7ca348c445bfc42c970959085d4b2d38694 (diff)
Fix a typo
-rw-r--r--readme.md2
1 files changed, 1 insertions, 1 deletions
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