commit 78e2b7e4a01062263fabce27b9dd47e4e11bb197
parent 622a7cc6d6cb5b032fc8c53721f3d0b249a55f96
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Fri, 23 Dec 2016 19:21:08 +0100
Missing \ newline
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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