From 1add8f54102c5178323077b1040de3a7a705e8c3 Mon Sep 17 00:00:00 2001
From: Blake Watters <blakewatters@gmail.com>
Date: Thu, 7 Feb 2013 11:54:54 -0500
Subject: [PATCH] Don't generate docs if we can't determine a Git branch

---
 Tests/cibuild | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Tests/cibuild b/Tests/cibuild
index 60fd38ba74..efb28bdec6 100755
--- a/Tests/cibuild
+++ b/Tests/cibuild
@@ -20,6 +20,8 @@ rake server:stop
 # Build & Publish Docs
 if [ -n $DOCS_DESTINATION ]; then
   VERSION=`echo $GIT_BRANCH|sed -e 's/origin\///'`
-  echo "Building documentation for branch $VERSION and publishing to '$DOCS_DESTINATION'"
-  rake docs:publish[$VERSION,$DOCS_DESTINATION]
+  if [ -n $VERSION ]; then
+      echo "Building documentation for branch $VERSION and publishing to '$DOCS_DESTINATION'"
+      rake docs:publish[$VERSION,$DOCS_DESTINATION]
+  fi
 fi