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

avoid downloading the linux image

This commit is contained in:
Stefan Lankes 2016-08-26 20:35:35 +02:00 committed by GitHub
parent 652345d1ad
commit 405ac2d1d5

View file

@ -11,14 +11,11 @@ before_install:
- git submodule update --init hermit/lwip hermit/usr/gcc hermit/usr/pte hermit/usr/libomp
script:
- ./configure
- wget https://www.lankes.org/deploy/bzImage
- mkdir -p linux/arch/x86/boot/
- mv bzImage linux/arch/x86/boot/
- wget https://www.lankes.org/deploy/newlib.tar.gz
- tar xzf newlib.tar.gz
- mv tmp hermit/usr/
- mv x86 hermit/usr/
- make T=1
- make T=1 travis
env:
global:
- TOPDIR=`pwd`/../..