give Xargo a $HOME
This commit is contained in:
parent
9b1c06948d
commit
20926bc1fd
1 changed files with 1 additions and 1 deletions
|
|
@ -24,7 +24,7 @@ run() {
|
|||
-v `rustc --print sysroot`:/rust:ro \
|
||||
-w /checkout \
|
||||
-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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue