summaryrefslogtreecommitdiff
path: root/docker
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2016-12-23 19:21:08 +0100
committerMarcello Stanisci <marcello.stanisci@inria.fr>2016-12-23 19:21:08 +0100
commit78e2b7e4a01062263fabce27b9dd47e4e11bb197 (patch)
tree8aa3f1c78ce526771a366ebeccbf05b948b050a5 /docker
parent622a7cc6d6cb5b032fc8c53721f3d0b249a55f96 (diff)
downloaddeployment-78e2b7e4a01062263fabce27b9dd47e4e11bb197.tar.gz
deployment-78e2b7e4a01062263fabce27b9dd47e4e11bb197.tar.bz2
deployment-78e2b7e4a01062263fabce27b9dd47e4e11bb197.zip
Missing \ newline
Diffstat (limited to 'docker')
-rw-r--r--docker/exchange/Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/exchange/Dockerfile b/docker/exchange/Dockerfile
index 6e08c26..b007498 100644
--- a/docker/exchange/Dockerfile
+++ b/docker/exchange/Dockerfile
@@ -9,7 +9,7 @@ RUN ./bootstrap \
--with-libgnurl=/usr/local \
--with-microhttpd=/usr/local \
--with-gnunet=/usr/local \
- --prefix=$HOME/local
+ --prefix=$HOME/local \
&& make \
&& make install