tree bb133a10c1fb446ceb1b446f68c93038e189180d
parent 6c69b7e6356d99fdc4d8d0b46fb4b4408ada4223
author Michael Ellerman <mpe@ellerman.id.au> 1513046100 +1100
committer Joel Stanley <joel@jms.id.au> 1513066921 +1030

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>