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

try to register proxy within Travis CI

This commit is contained in:
Stefan Lankes 2016-08-27 08:53:15 +02:00
parent 72a4b25896
commit 95f314d552

View file

@ -16,6 +16,11 @@ script:
- mv tmp hermit/usr/
- mv x86 hermit/usr/
- make T=1 travis
- echo $PROXY_STR > /proc/sys/fs/binfmt_misc/register
env:
global:
- TOPDIR=`pwd`/../..
- PROXY_STR=":hermit:M:7:\\x42::`pwd`/RWTH-OS/HermitCore/hermit/tools/proxy"
- HERMIT_ISLE=qemu
- HERMIT_CPUS=2
- HERMIT_MEM="128M"