reversion.sh

   1 #!/bin/sh
   2
   3 [ ! -f version.sh ] && [ ! -d .git ] && exit 1
   4
   5 [ -f version.sh ] && . version.sh
   6
   7 if [ -d .git ]
   8 then
   9         GV=$(git describe --abbrev=4)
  10         git update-index -q --refresh
  11         if git diff-index --quiet HEAD
  12         then
  13                 GD="$(git show --pretty=format:%ai --quiet HEAD)"
  14         else
  15                 GD="$(date +'%Y-%m-%d %H:%M:%S %z')"
  16                 GV=$GV-dirty
  17         fi
  18         if [ "$GV $GD" != "$V $D" ]
  19         then
  20                 V="$GV"
  21                 D="$GD"
  22                 echo "V=\"$V\""  >version.sh
  23                 echo "D=\"$D\"" >>version.sh
  24                 cat version.sh
  25                 rm -f version.h
  26         fi
  27 fi
  28
  29 if [ ! -f version.h ]
  30 then
  31         printf '"@(#) $Version: %s $\\n"\n' "$V" >version.h
  32         printf '"@(#) $Date: %s $\\n"\n'   "$D" >>version.h
  33         cat version.h
  34 fi