server/s/upgrade
2017-01-27 20:22:23 +01:00

14 lines
156 B
Bash
Executable file

#!/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