commit 3225cfc3325db033c57a270fe936ae6dea74457d
author Michael Ellerman <mpe@ellerman.id.au> Tue Dec 12 13:35:00 2017 +1100
committer Joel Stanley <joel@jms.id.au> Tue Dec 12 18:52:01 2017 +1030
tree bb133a10c1fb446ceb1b446f68c93038e189180d
parent 6c69b7e6356d99fdc4d8d0b46fb4b4408ada4223

kernel-build: Mount and run in $WORKSPACE not $HOME

When running docker we bind mount and run in $HOME, but that only
works if $WORKSPACE is under $HOME. Instead we can just bind mount and
run in $WORKSPACE.

Change-Id: I872621fc7d92c5b6721e77e2a3048c41b14d9529
Signed-off-by: Michael Ellerman <mpe@ellerman.id.au>
Signed-off-by: Joel Stanley <joel@jms.id.au>