server/s/upgrade
2020-08-16 16:00:29 +02:00

14 lines
165 B
Bash
Executable file

#!/bin/sh
set -e
ROOT=`pwd`
while [ ! -d $ROOT/.git ]; do
ROOT=`dirname $ROOT`
done
cd $ROOT
git pull --rebase
git submodule update
s/build
s/runtests
s/install