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} > /dev/null
  18 git fetch origin
  19 if [ "`git rev-list $BRANCH..$REMOTE/$BRANCH`" ]; then
  20         git merge --ff-only $REMOTE/$BRANCH && make --quiet && make install
  21 fi
  22 popd > /dev/null
  23
  24 rm ${LOCK_FILE}