diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-12-23 19:26:33 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-12-23 19:26:33 +0100 |
commit | be7c54710e0c41322fbc88e959c703e78055d58b (patch) | |
tree | cc4b9213b7ec03c023e4f8eadb976b4221e43fbc /docker/exchange/Dockerfile | |
parent | 570f2813a75f7b24fced443b7b936ce9a151067c (diff) | |
download | deployment-be7c54710e0c41322fbc88e959c703e78055d58b.tar.gz deployment-be7c54710e0c41322fbc88e959c703e78055d58b.tar.bz2 deployment-be7c54710e0c41322fbc88e959c703e78055d58b.zip |
Removing ~/local/bin from exchange tools calls
Diffstat (limited to 'docker/exchange/Dockerfile')
-rw-r--r-- | docker/exchange/Dockerfile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docker/exchange/Dockerfile b/docker/exchange/Dockerfile index b007498..aeb3796 100644 --- a/docker/exchange/Dockerfile +++ b/docker/exchange/Dockerfile @@ -8,8 +8,7 @@ RUN ./bootstrap \ && ./configure CFLAGS='-ggdb -O0' \ --with-libgnurl=/usr/local \ --with-microhttpd=/usr/local \ - --with-gnunet=/usr/local \ - --prefix=$HOME/local \ + --with-gnunet=/usr/local && make \ && make install |