server/s/upgrade

forked from github/server
#!/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
add a simple upgrade script for non-developers. 2017-01-27 20:20:20 +01:00			`#!/bin/sh`
			`set -e`

			ROOT=`pwd`
			`while [ ! -d $ROOT/.git ]; do`
			ROOT=`dirname $ROOT`
			`done`

			`cd $ROOT`
git pull with rebase 2020-08-10 13:11:19 +02:00			`git pull --rebase`
add a simple upgrade script for non-developers. 2017-01-27 20:20:20 +01:00			`git submodule update`
			`s/build`
			`s/runtests`
			`s/install`