diff options
author | Jasper Van der Jeugt <jaspervdj@gmail.com> | 2017-12-18 19:29:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-18 19:29:19 +0100 |
commit | 7634b44e4ad9f6a0ba77c377eb1ee43085687789 (patch) | |
tree | cecb9fb9c2120c18b7856e5a851c544ec4e9ed6b /.circleci/tickle.sh | |
parent | 39b247ee9208fbbb2f183ddf5d0db98772a51b3e (diff) | |
download | hakyll-7634b44e4ad9f6a0ba77c377eb1ee43085687789.tar.gz |
Build on CircleCI
Diffstat (limited to '.circleci/tickle.sh')
-rwxr-xr-x | .circleci/tickle.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/.circleci/tickle.sh b/.circleci/tickle.sh new file mode 100755 index 0000000..5071bb4 --- /dev/null +++ b/.circleci/tickle.sh @@ -0,0 +1,24 @@ +#!/bin/bash +set -o nounset -o errexit -o pipefail + +function tickle() { + while [ true ]; do + echo "[$(date +%H:%M:%S)"] Tickling... + sleep 60 + done +} + +echo "Forking tickle process..." +tickle & +TICKLE_PID=$! + +echo "Forking build process..." +eval $@ & +BUILD_PID=$! + +echo "Waiting for build thread ($BUILD_PID)..." +wait $BUILD_PID + +echo "Killing tickle thread ($TICKLE_PID)..." +kill $TICKLE_PID +echo "All done!" |