3 # version.sh -- script to create version string(s) for mmh.
5 # You need to pass the script the version number to use.
9 echo "usage: version.sh VERSION" 1>&2
15 git_info="$(git show --pretty'=format: [%h -- %cD]' HEAD | head -n1)"
17 echo "char *version_str = \"mmh-${VERSION}${git_info}\";"
18 echo "char *version_num = \"mmh-$VERSION\";"