diff --git a/.travis.yml b/.travis.yml index d9d7d853d..c73437d10 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,7 +6,7 @@ language: c compiler: gcc before_install: - sudo apt-get -qq update - - sudo apt-get install -y curl qemu-system-x86 nasm texinfo libmpfr-dev libmpc-dev libgmp-dev libisl-dev flex bison timeout + - sudo apt-get install -y curl qemu-system-x86 nasm texinfo libmpfr-dev libmpc-dev libgmp-dev libisl-dev flex bison - git submodule update --init hermit/lwip hermit/usr/gcc hermit/usr/pte hermit/usr/libomp script: - ./configure