From d9e871b5238f43392053e687e28381e2caaed163 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 21 Jul 2020 18:25:04 +0200
Subject: [PATCH] add helper script for updating GANA submodule

---
 contrib/gana.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 contrib/gana.sh

diff --git a/contrib/gana.sh b/contrib/gana.sh
new file mode 100755
index 000000000..d430dec33
--- /dev/null
+++ b/contrib/gana.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+# Helper script to update to latest GANA
+# Run from exchange/ main directory; make sure you have
+# no uncommitted changes at the time of running the script.
+set -eu
+cd contrib/gana
+git pull origin master
+cd ../..
+git commit -a -S -m "synchronize with latest GANA"
+./bootstrap
+cd src/include
+make install
+cd ../..