diff --git a/.travis.yml b/.travis.yml index 3d662dc9f..4022c6fee 100644 --- a/.travis.yml +++ b/.travis.yml @@ -34,7 +34,6 @@ deploy: env: global: - PATH=$PATH:/opt/hermit/bin/ - - PROXY_STR=":hermit:M:7:\\x42::`pwd`/RWTH-OS/libhermit-0.1/tools/proxy" - HERMIT_ISLE=qemu - HERMIT_CPUS=1 - HERMIT_MEM="512M"