Merge branch 'develop' of https://github.com/ennorehling/eressea.git

2017-01-28 20:02:22 +01:00 · 2017-01-28 20:02:22 +01:00 · 3ac834a46d
parent d794ad4433 d4e5e5f478
commit 3ac834a46d
1 changed files with 14 additions and 0 deletions
--- a/s/upgrade
+++ 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