1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00

remove obsolete package

This commit is contained in:
Stefan Lankes 2016-11-20 15:31:27 +01:00
parent f468af3951
commit adeb4e7c51

View file

@ -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