From 9cf513f905bcc2a62f2d2f62c78bfc21781419af Mon Sep 17 00:00:00 2001 From: Jeremy Kerr Date: Thu, 23 Jan 2020 12:04:12 +0800 Subject: docker: build petitboot outside of the source dir Ensure that srcdir != builddir builds will keep working. Signed-off-by: Jeremy Kerr --- 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}'" -- cgit v1.2.1