From 50a3e5d54edcfff30bedeb4442e4f10253067044 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Tue, 26 Apr 2016 12:19:22 +0200
Subject: [PATCH] build step needs sudo

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

diff --git a/.travis.yml b/.travis.yml
index 54d6fdc..4537721 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,7 +6,7 @@ before_install:
 install:
   - wget -O plastex.tar.gz https://github.com/tiarno/plastex/archive/1.0.0.tar.gz
   - tar -xzvf plastex.tar.gz
-  - cd plastex-1.0.0 && python setup.py install
+  - cd plastex-1.0.0 && sudo python setup.py install
 script:
 - cd org.rodinp.handbook.feature
 - ant -file customBuild.xml
-- 
GitLab