diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-12-23 19:21:08 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-12-23 19:21:08 +0100 |
commit | 78e2b7e4a01062263fabce27b9dd47e4e11bb197 (patch) | |
tree | 8aa3f1c78ce526771a366ebeccbf05b948b050a5 | |
parent | 622a7cc6d6cb5b032fc8c53721f3d0b249a55f96 (diff) | |
download | deployment-78e2b7e4a01062263fabce27b9dd47e4e11bb197.tar.gz deployment-78e2b7e4a01062263fabce27b9dd47e4e11bb197.tar.bz2 deployment-78e2b7e4a01062263fabce27b9dd47e4e11bb197.zip |
Missing \ newline
-rw-r--r-- | docker/exchange/Dockerfile | 2 |
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 |