mono/mini/gen-version-h.sh

   1 #!/bin/sh
   2 top_srcdir=$1
   3 if test -d $top_srcdir/.git; then
   4         (cd $top_srcdir;
   5          LANG=C; export LANG;
   6          if test -z "$ghprbPullId"; then
   7                  branch=`git branch | grep '^\*' | sed 's/(detached from .*/explicit/' | cut -d ' ' -f 2`;
   8          else
   9                  branch="pull-request-$ghprbPullId";
  10          fi;
  11          version=`git log --no-color --first-parent -n1 --pretty=format:%h`;
  12          echo "#define FULL_VERSION \"$branch/$version\"";
  13         );
  14 else
  15         echo "#define FULL_VERSION \"tarball\"";
  16 fi > version.h
  17