give Xargo a $HOME

This commit is contained in:
Jorge Aparicio 2016-09-30 20:21:15 -05:00
parent fb5cb0e4c1
commit d0a57cb871
1 changed files with 1 additions and 1 deletions

View File

@ -24,7 +24,7 @@ run() {
-v `rustc --print sysroot`:/rust:ro \ -v `rustc --print sysroot`:/rust:ro \
-w /checkout \ -w /checkout \
-it $target \ -it $target \
sh -c "PATH=\$PATH:/rust/bin ci/run.sh $target" sh -c "HOME=/tmp PATH=\$PATH:/rust/bin ci/run.sh $target"
} }
if [ -z "$1" ]; then if [ -z "$1" ]; then