blob: ba58c61d66156a090add6150f81f4aeeb37a8be3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/bin/sh
egencached_pidfile="~/egencache.pid"
# --- Command line
refname=${1}
oldrev=${2}
newrev=${3}
# --- Safety check
if [ -z "${GIT_DIR}" ]; then
echo "Don't run this script from the command line." >&2
echo " (if you want, you could supply GIT_DIR then run" >&2
echo " ${0} <ref> <oldrev> <newrev>)" >&2
exit 1
fi
if [ -z "${refname}" -o -z "${oldrev}" -o -z "${newrev}" ]; then
echo "usage: ${0} <ref> <oldrev> <newrev>" >&2
exit 1
fi
case ${refname} in
refs/heads/master)
# trigger cache regen
kill -HUP "$(cat "${egencached_pidfile}")"
;;
*)
;;
esac
# --- Finished
exit 0
|