give Xargo a $HOME

Jorge Aparicio · Jorge Aparicio · commit d0a57cb87120 · 2016-09-30T20:21:15.000-05:00
diff --git a/ci/run-docker.sh b/ci/run-docker.sh
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ run() {`
`24`	`24`	-v `rustc --print sysroot`:/rust:ro \
`25`	`25`	`-w /checkout \`
`26`	`26`	`-it $target \`
`27`		`- sh -c "PATH=\$PATH:/rust/bin ci/run.sh $target"`
	`27`	`+ sh -c "HOME=/tmp PATH=\$PATH:/rust/bin ci/run.sh $target"`
`28`	`28`	`}`
`29`	`29`
`30`	`30`	`if [ -z "$1" ]; then`