From 95f314d552df029dcad6d14d964e763ec26ac3fb Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 27 Aug 2016 08:53:15 +0200
Subject: [PATCH] try to register proxy within Travis CI

---
 .travis.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index cc6d84887..786c4f22e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -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"