versionmangle

diff --git a/mono/mini/Makefile.am.in b/mono/mini/Makefile.am.in
index 5942258..b89b374 100755
--- a/mono/mini/Makefile.am.in
+++ b/mono/mini/Makefile.am.in
@@ -823,20 +823,7 @@ EXTRA_DIST = TestDriver.cs \
 	Makefile.am.in
 
 version.h: Makefile
-	if test -d $(top_srcdir)/.git; then \
-		(cd $(top_srcdir); \
-			LANG=C; export LANG; \
-			if test -z "$$ghprbPullId"; then \
-				branch=`git branch | grep '^\*' | sed 's/(detached from .*/explicit/' | cut -d ' ' -f 2`; \
-			else \
-				branch="pull-request-$$ghprbPullId"; \
-			fi; \
-			version=`git log --no-color --first-parent -n1 --pretty=format:%h`; \
-			echo "#define FULL_VERSION \"$$branch/$$version\""; \
-		); \
-	else \
-		echo "#define FULL_VERSION \"tarball\""; \
-	fi > version.h
+	echo "#define FULL_VERSION \"%VERSION%\"" > version.h
 
 # Utility target for patching libtool to speed up linking
 patch-libtool: