#! /bin/sh #TODO: we should tag our version changes, and use git describe instead of git log. echo "Extracting src/version.c ..." git_command='git describe' if [ -d ../.git ]; then if [ -x `which git` ]; then echo "Found git. version is"`$git_command` cvs_version="git:"`$git_command` else echo "No git installed. unknown git revision" cvs_version="git:unknown" fi else echo "Not a git repository. leaving revision empty" cvs_version="release" fi /bin/cat >version.c <