2015-02-01 08:29:21 +01:00
|
|
|
#!/bin/bash
|
2015-02-01 08:21:07 +01:00
|
|
|
|
2017-05-26 13:52:55 +02:00
|
|
|
[ "$PREVIEW" != "yes" ] && exit
|
|
|
|
[ -z ${ERESSEA} ] && ERESSEA=$HOME/eressea
|
|
|
|
|
2015-02-06 01:40:03 +01:00
|
|
|
branch="develop"
|
2015-01-09 20:41:48 +01:00
|
|
|
if [ -e ${ERESSEA}/build/.preview ]; then
|
|
|
|
branch=`cat ${ERESSEA}/build/.preview`
|
|
|
|
fi
|
2015-02-22 16:04:33 +01:00
|
|
|
SRC=${ERESSEA}/git
|
|
|
|
${SRC}/s/preview build ${branch} || exit $?
|
2014-08-16 11:43:46 +02:00
|
|
|
for game in 2 3 4 ; do
|
2015-02-22 16:04:33 +01:00
|
|
|
${SRC}/s/preview -g ${game} run && \
|
|
|
|
${SRC}/s/preview -g ${game} send
|
2014-08-16 11:43:46 +02:00
|
|
|
done
|