#!/bin/sh

REV=`git rev-parse HEAD`
echo "#define GIT_VERSION \"$REV\"" > revision.tmp

diff revision.tmp src/OPALrevision.h 2>&1 > /dev/null

if [ $? -eq 1 ];then
   mv revision.tmp src/OPALrevision.h
else
   rm revision.tmp
fi