From 340bb43e884319824c9f9c6234f0a17fd3b1bfe3 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Mon, 5 Dec 2011 07:12:31 -0800 Subject: Tweaks to get-scala-revision. Reference to git head is supposed to be HEAD, not head. Also apparently [[ ]] is a bashism so it's [ ]. Made name generation robust against the absence of the dev tag; it will generate a similar name even if it's not there, minus the part it can't determine without it. --- tools/get-scala-revision.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/get-scala-revision.bat') diff --git a/tools/get-scala-revision.bat b/tools/get-scala-revision.bat index ed3ade8a3e..1c2403da89 100644 --- a/tools/get-scala-revision.bat +++ b/tools/get-scala-revision.bat @@ -15,7 +15,7 @@ if "%*"=="" ( cd %_DIR% if exist .git\NUL ( - git describe head --abbrev=7 --match dev + git describe HEAD --abbrev=7 --match dev echo 0 ) -- cgit v1.2.3