27
Content-Disposition: inline; filename="
e
gen-version.sh
20e
Last-Modified: Tue, 10 Jun 2025 03:10:59 GMT
Expires: Fri, 08 Jun 2035 03:10:59 GMT
ETag: "3a080157cf4e871d8e4f63d01855d8eeaf36f943"

#!/bin/sh

# Get version-info specified in Makefile
V=$1

# Use `git describe` to get current version if we're inside a git repo
if test -d .git
then
	V=$(git describe --abbrev=4 HEAD 2>/dev/null)
fi

new="CGIT_VERSION = $V"
old=$(cat VERSION 2>/dev/null)

# Exit if VERSION is uptodate
test "$old" = "$new" && exit 0

# Update VERSION with new version-info
echo "$new" > VERSION
cat VERSION

0

