From 843ea4392e3642a40bd733ea535350db615aabd7 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Fri, 1 Nov 2019 11:41:20 +0100
Subject: no more taler-build

---
 taler-build/update_gnunet.sh | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 taler-build/update_gnunet.sh

(limited to 'taler-build/update_gnunet.sh')

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
-- 
cgit v1.2.3