summaryrefslogtreecommitdiff
path: root/src/check_version
blob: e31ca498dab3dd8394e3cf1c1c0a55420eabd8c0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#!/bin/sh

if [ ! -d ../.git ]; then
    echo "not updating .git_version (no ../.git)"
    exit 0
fi

dname=`dirname $0`
cur=`git rev-parse HEAD 2>/dev/null; git describe 2>/dev/null`
[ -e $1 ] && old=`cat $1`

if [ "$cur" != "$old" ]; then
    echo regenerating $1 with $cur
    echo "$cur" > $1
else
    echo $1 is up to date.
fi