summaryrefslogtreecommitdiff
path: root/docker/base/Dockerfile
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2016-11-14 00:14:56 +0100
committerMarcello Stanisci <marcello.stanisci@inria.fr>2016-11-14 00:14:56 +0100
commit731019f962e3730be4c976f7e395dbc62bf61b15 (patch)
treee0da639718f71535c564528afc07ac947faf67ca /docker/base/Dockerfile
parent57dd2c6be316fd5e379ebdb70329f91089afb9aa (diff)
downloaddeployment-731019f962e3730be4c976f7e395dbc62bf61b15.tar.gz
deployment-731019f962e3730be4c976f7e395dbc62bf61b15.tar.bz2
deployment-731019f962e3730be4c976f7e395dbc62bf61b15.zip
--disable-doc for mhd
Diffstat (limited to 'docker/base/Dockerfile')
-rw-r--r--docker/base/Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile
index ded1dec..a21d2ef 100644
--- a/docker/base/Dockerfile
+++ b/docker/base/Dockerfile
@@ -36,6 +36,6 @@ RUN ./bootstrap \
WORKDIR ../libmicrohttpd
RUN ./bootstrap \
- && ./configure \
+ && ./configure --disable-doc \
&& make \
&& make install