7 REPO_DIR
=/home
/repo
/repo
8 LOCK_FILE
=/tmp
/updateweb-
$cfg_tmpsuffix.lock
11 # MAKE must be set to GNU make
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
23 if [ -n "`git rev-list $BRANCH..$REMOTE/$BRANCH`" ]; then
24 git merge
--ff-only $REMOTE/$BRANCH && \
25 git submodule update
&& \