diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-14 00:21:41 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-11-14 00:21:41 +0100 |
commit | 5d497ee4a95b35475903ad32001af0170762ea5a (patch) | |
tree | 7bb4e4eb4dd20b9bcb76fc781003e63c6660f203 | |
parent | fab902ea13383da7802ab75ffeb2f0fb6f51870e (diff) | |
download | deployment-5d497ee4a95b35475903ad32001af0170762ea5a.tar.gz deployment-5d497ee4a95b35475903ad32001af0170762ea5a.tar.bz2 deployment-5d497ee4a95b35475903ad32001af0170762ea5a.zip |
missing &&
-rw-r--r-- | docker/exchange/Dockerfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docker/exchange/Dockerfile b/docker/exchange/Dockerfile index d161ff8..471ebbe 100644 --- 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 |