mirror of
https://github.com/hermitcore/libhermit.git
synced 2025-03-09 00:00:03 +01:00
remove typo
This commit is contained in:
parent
14ff0104d5
commit
a665d1f78e
1 changed files with 1 additions and 1 deletions
|
@ -33,7 +33,7 @@ env:
|
|||
global:
|
||||
- TOPDIR=/home/travis/build
|
||||
- PATH=$PATH:/opt/hermit/bin:$TOPDIR/x86/bin
|
||||
- PROXY_STR=":hermit:M:7:\\x42::`pwd`/RWTH-OS/HermitCore/tools/proxy"
|
||||
- PROXY_STR=":hermit:M:7:\\x42::`pwd`/RWTH-OS/libhermit-0.1/tools/proxy"
|
||||
- HERMIT_ISLE=qemu
|
||||
- HERMIT_CPUS=1
|
||||
- HERMIT_MEM="512M"
|
||||
|
|
Loading…
Add table
Reference in a new issue