sudo for make install

2018-07-12 19:11:05 -07:00
parent c52812d578
commit 6fbbe0ba9d
1 changed files with 1 additions and 1 deletions
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,6 +9,6 @@ install:
 - cd build
 - cmake ..
 - make
- make install
+- sudo make install
 script:
 - deepstate-manticore examples/IntegerArithmetic