jobs/updateweb.sh

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