From d4e5e5f478f1c90589b86b0a6e18eb62f0446367 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno@eressea.de>
Date: Fri, 27 Jan 2017 20:20:20 +0100
Subject: [PATCH] add a simple upgrade script for non-developers.

---
 s/upgrade | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 s/upgrade

diff --git a/s/upgrade b/s/upgrade
new file mode 100755
index 000000000..9d9d5a313
--- /dev/null
+++ b/s/upgrade
@@ -0,0 +1,14 @@
+#!/bin/sh
+set -e
+
+ROOT=`pwd`
+while [ ! -d $ROOT/.git ]; do
+  ROOT=`dirname $ROOT`
+done
+
+cd $ROOT
+git pull
+git submodule update
+s/build
+s/runtests
+s/install