diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile.builder | 2 | ||||
| -rwxr-xr-x | docker/build-pb | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/docker/Dockerfile.builder b/docker/Dockerfile.builder index 321629f..8757871 100644 --- a/docker/Dockerfile.builder +++ b/docker/Dockerfile.builder @@ -25,6 +25,8 @@ RUN apt-get update && apt-get install -y \ libncurses-dev \ libssl-dev \ libuv-dev \ + libelf-dev \ + libdw-dev \ pkg-config \ strace \ && rm -rf /var/lib/apt/lists/* 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}'" |
