From 41311fcecd0cf2adc352c5a92eb9b1fdcc027081 Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Thu, 25 Aug 2011 11:56:33 -0700
Subject: [PATCH] Get the version out of project/build.properties.

---
 sbt | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/sbt b/sbt
index d88ce8170..68b46f007 100755
--- a/sbt
+++ b/sbt
@@ -12,7 +12,17 @@ sbt_snapshot_version=0.11.0-20110825-052147
 # Falses made true via command line options
 useSnapshot=0
 createProject=0
-sbt_version=
+sbt_version=$(
+  if [[ -f project/build.properties ]]; then
+    versionLine=$(grep ^sbt.version project/build.properties)
+    versionString=${versionLine##sbt.version=}
+    
+    if [[ $versionString =~ ^[0-9]\.[0-9]\.[0-9]$ ]]; then
+      echo "$versionString"
+    fi
+  fi
+)
+echo $sbt_version
 
 jar_url () {
   local where=$1  # releases or snapshots