docker: build petitboot outside of the source dir

Ensure that srcdir != builddir builds will keep working. Signed-off-by: Jeremy Kerr <jk@ozlabs.org>
open-power · Jan 25, 2020 · 9cf513f · 9cf513f
1 parent 9383652
commit 9cf513f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}'"