[PATCH,RFC] docker: build petitboot outside of the source dir

[Jeremy Kerr]

Ensure that srcdir != builddir builds will keep working.

Signed-off-by: Jeremy Kerr <jk at ozlabs.org>
---
 docker/build-pb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/build-pb b/docker/build-pb
index 6229550..e892177 100755
--- a/docker/build-pb
+++ b/docker/build-pb
@@ -137,4 +137,4 @@ cd "${TOP_DIR}"
 docker_args="${docker_base_args} ${docker_user_args}"
 run_cmd "docker run ${docker_args} ${DOCKER_TAG} /bin/bash \
 	-e ${bash_debug} \
-	-c './bootstrap && ${flags} ./configure ${configure_opts[@]} && ${makecmd} && ${docker_extra}'"
+	-c './bootstrap && d=\$(mktemp -d) && cd \$d && ${flags} /opt/pb/configure ${configure_opts[@]} && ${makecmd} && ${docker_extra}'"
-- 
2.17.1