Merge branch 'master' into develop

This commit is contained in:
Enno Rehling 2018-02-04 12:09:39 +01:00
commit 48bb6c65da

View file

@ -9,7 +9,7 @@ if [ -e ${ERESSEA}/build/.preview ]; then
fi fi
SRC=${ERESSEA}/git SRC=${ERESSEA}/git
${SRC}/s/preview build ${branch} || exit $? ${SRC}/s/preview build ${branch} || exit $?
for game in 2 3 4 ; do for game in 2 3 ; do
${SRC}/s/preview -g ${game} run && \ ${SRC}/s/preview -g ${game} run && \
${SRC}/s/preview -g ${game} send ${SRC}/s/preview -g ${game} send
done done