diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-04-30 18:37:34 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-04-30 18:37:34 +0200 |
| commit | 8be234121a4184431fe812b31e6fcef94733df8a (patch) | |
| tree | 6761c276a8a65e82779c0da1e0895e3221f2bb77 /.travis.yml | |
| parent | 7892a833014b0304e1ca4dd7c3c442da93b5832f (diff) | |
Travis: forgot sudo for make install.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index caddd262..65c5f4db 100644 --- a/.travis.yml +++ b/.travis.yml @@ -69,7 +69,7 @@ before_script: - autoreconf -i - TEX="false" ./configure --prefix=/usr/ - make - - make install + - sudo make install - cd - - autoreconf -i - ./configure --enable-gcov --enable-drun |