[RFC] docker: build petitboot outside of the source dir
diff mbox series

Message ID 20200123044341.12277-1-jk@ozlabs.org
State New
Headers show
Series
  • [RFC] docker: build petitboot outside of the source dir
Related show

Commit Message

Jeremy Kerr Jan. 23, 2020, 4:43 a.m. UTC
Ensure that srcdir != builddir builds will keep working.

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

Patch
diff mbox series

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}'"