commit 5d497ee4a95b35475903ad32001af0170762ea5a
parent fab902ea13383da7802ab75ffeb2f0fb6f51870e
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Mon, 14 Nov 2016 00:21:41 +0100
missing &&
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/docker/exchange/Dockerfile b/docker/exchange/Dockerfile
@@ -9,5 +9,5 @@ RUN ./bootstrap \
--with-libgnurl=/usr/local \
--with-microhttpd=/usr/local \
--with-gnunet=/usr/local \
- make \
- make install
+ && make \
+ && make install