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_libmicrohttpd.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_libmicrohttpd.sh')
| -rwxr-xr-x | taler-build/update_libmicrohttpd.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/taler-build/update_libmicrohttpd.sh b/taler-build/update_libmicrohttpd.sh deleted file mode 100755 index c50d54f..0000000 --- a/taler-build/update_libmicrohttpd.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash - -set -eu - -cd $HOME/libmicrohttpd/ -git clean -fdx - -git fetch --all -# 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 \ - --with-gnutls=/usr/local # Debian packages are too old. -make -make install |