jobs/updateweb.sh

   1 #!/bin/sh
   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 # MAKE must be set to GNU make
  12 MAKE=make
  13
  14 # Make sure we don't run twice.
  15 if [ -s ${LOCK_FILE} ] && kill -0 $(cat ${LOCK_FILE}) 2>/dev/null; then
  16         echo "Already running updateweb.sh (stuck?) with pid $(cat ${LOCK_FILE})" >&2
  17         exit 1
  18 fi
  19 echo $$ >${LOCK_FILE}
  20
  21 cd "${REPO_DIR}"
  22 git fetch origin
  23 if [ -n "`git rev-list $BRANCH..$REMOTE/$BRANCH`" ]; then
  24         git merge --ff-only $REMOTE/$BRANCH && \
  25         git submodule update && \
  26         "$MAKE" --quiet && \
  27         "$MAKE" install
  28 fi
  29
  30 rm ${LOCK_FILE}