From 5c69f6365241870306d5b5bd0c8a4c0d2d2addd7 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Sat, 19 Nov 2016 17:14:16 +0100
Subject: use git for gnunet and mhd

---
 taler-build/update_gnunet.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

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

diff --git a/taler-build/update_gnunet.sh b/taler-build/update_gnunet.sh
index c1a013e..a845d66 100755
--- a/taler-build/update_gnunet.sh
+++ b/taler-build/update_gnunet.sh
@@ -3,8 +3,13 @@
 set -eu
 
 cd $HOME/gnunet/
-svn revert -R .
-svn update
+git clear -fdx
+
+# like "git pull", but robust against force pushes
+# and local changes
+git fetch
+git reset --hard FETCH_HEAD
+
 ./bootstrap
 ./configure --prefix=$HOME/local --enable-logging=verbose --with-libgnurl=$HOME/local --with-microhttpd=$HOME/local
 make
-- 
cgit v1.2.3