TRAVIS: another try to fix travis build

This commit is contained in:
hasufell 2014-05-31 02:12:18 +02:00
parent d65520b6cf
commit 87c8d9a7d5
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020

View File

@ -8,5 +8,6 @@ before_script:
- ./configure --prefix=/usr --with-gmp=/usr --with-mpfr=/usr CC=gcc CXX=g++
- make
- sudo make install
- cd ..
script:
- make