diff options
| author | Florian Dold <florian.dold@gmail.com> | 2019-11-01 11:41:20 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2019-11-01 11:41:40 +0100 |
| commit | 843ea4392e3642a40bd733ea535350db615aabd7 (patch) | |
| tree | 0875ea3dd3d42077530e304a8402787c0de1b65a /taler-build/update_gnunet.sh | |
| parent | aa98a4c549025429b3451ff50f598940cefac1a2 (diff) | |
| download | deployment-843ea4392e3642a40bd733ea535350db615aabd7.tar.gz deployment-843ea4392e3642a40bd733ea535350db615aabd7.tar.bz2 deployment-843ea4392e3642a40bd733ea535350db615aabd7.zip | |
no more taler-build
Diffstat (limited to 'taler-build/update_gnunet.sh')
| -rwxr-xr-x | taler-build/update_gnunet.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/taler-build/update_gnunet.sh b/taler-build/update_gnunet.sh deleted file mode 100755 index 3e89e07..0000000 --- a/taler-build/update_gnunet.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/bash - -set -eu - -cd $HOME/gnunet/ -git clean -fdx - -git fetch -# reset to updated upstream branch, but only if we're tracking a branch -branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD) -git reset --hard "$branch" - -./bootstrap -./configure --prefix=$HOME/local \ - --enable-logging=verbose \ - --with-libgnurl=$HOME/local \ - --with-microhttpd=$HOME/local \ - --disable-documentation - -make install -j1 |