2018-10-02 22:41:08 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
export PING_SLEEP=30s
|
|
|
|
|
|
|
|
|
|
bash -c "while true; do echo -n '.'; sleep $PING_SLEEP; done" &
|
|
|
|
|
PING_LOOP_PID=$!
|
|
|
|
|
|
2018-10-03 23:35:35 +02:00
|
|
|
touch build.txt
|
2018-10-02 22:41:08 +02:00
|
|
|
|
2018-10-03 23:35:35 +02:00
|
|
|
echo "build"
|
|
|
|
|
make build >> build.txt 2>&1 || tail -500 build.txt
|
|
|
|
|
echo "deploy"
|
|
|
|
|
make deploy >> build.txt 2>&1 || tail -500 build.txt
|
|
|
|
|
echo "test"
|
|
|
|
|
make test >> build.txt 2>&1 || tail -500 build.txt
|
|
|
|
|
echo "dropbox-deploy"
|
|
|
|
|
make dropbox-deploy
|
2018-10-02 22:41:08 +02:00
|
|
|
|
|
|
|
|
echo "build finished"
|
|
|
|
|
|
|
|
|
|
kill $PING_LOOP_PID
|
|
|
|
|
|
|
|
|
|
exit 0
|