2015-02-01 08:29:21 +01:00
|
|
|
#!/bin/bash
|
2018-06-11 21:00:01 +02:00
|
|
|
(
|
2017-05-26 13:52:55 +02:00
|
|
|
[ "$PREVIEW" != "yes" ] && exit
|
2019-04-26 18:56:38 +02:00
|
|
|
[ -z "${ERESSEA}" ] && ERESSEA="$HOME/eressea"
|
2017-05-26 13:52:55 +02:00
|
|
|
|
2015-02-06 01:40:03 +01:00
|
|
|
branch="develop"
|
2019-04-26 18:56:38 +02:00
|
|
|
if [ -e "${ERESSEA}/build/.preview" ]; then
|
|
|
|
branch=$(cat "${ERESSEA}/build/.preview")
|
2015-01-09 20:41:48 +01:00
|
|
|
fi
|
2019-04-26 18:56:38 +02:00
|
|
|
SRC="${ERESSEA}/git"
|
|
|
|
"${SRC}/s/preview" build "$branch" || exit $?
|
|
|
|
for game in "$@" ; do
|
|
|
|
"${SRC}/s/preview" -g "$game" run && \
|
|
|
|
"${SRC}/s/preview" -g "$game" send
|
2014-08-16 11:43:46 +02:00
|
|
|
done
|
2019-04-26 18:56:38 +02:00
|
|
|
) | tee -a "$HOME/log/preview.cron.log"
|
2018-06-11 21:00:01 +02:00
|
|
|
|