jobs/updateweb.sh

   1 #!/bin/bash
   2
   3 set -e
   4
   5 REPO_DIR=/home/repo/repo
   6 LOCK_FILE=/tmp/webupdate/lock
   7 REMOTE=origin
   8 BRANCH=rorcz
   9
  10 # Make sure we don't run twice.
  11 if [ -s ${LOCK_FILE} ] && kill -0 $(cat ${LOCK_FILE}); then
  12         echo "Already running (stuck?) with pid $(cat ${LOCK_FILE})" >&2
  13         exit 1
  14 fi
  15 echo $$ >${LOCK_FILE}
  16
  17 pushd ${REPO_DIR}
  18 git fetch origin
  19 if [ -z "`git rev-list $BRANCH..$REMOTE/$BRANCH`" ]; then
  20         git merge $REMOTE/$BRANCH && make install
  21 fi
  22 popd
  23
  24 rm ${LOCK_FILE}