Merge remote-tracking branch 'upstream/develop' into develop

This commit is contained in:
Enno Rehling 2018-05-18 22:00:52 +02:00
commit 2ac8e31ddc

View file

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