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

don't remove git repository

This commit is contained in:
Stefan Lankes 2017-01-11 23:59:00 +01:00
parent 8136e034e7
commit 89b7b6ff7b

View file

@ -9,10 +9,11 @@ before_install:
- sudo apt-get install -y curl qemu-system-x86 nasm texinfo libmpfr-dev libmpc-dev libgmp-dev libisl-dev flex bison packaging-dev
- git submodule update --init lwip usr/libomp
script:
- rm -rf .git
- mv .git ..
- cd ..
- mv HermitCore libhermit-0.1
- tar -czf libhermit_0.1.orig.tar.gz libhermit-0.1
- mv .git libhermit-0.1
- cd $TOPDIR
- wget https://bintray.com/rwth-os/hermitcore/download_file?file_path=binutils-hermit_2.26.1-1_amd64.deb -O binutils-hermit_2.26.1-1_amd64.deb
- sudo dpkg -i ./binutils-hermit_2.26.1-1_amd64.deb