From a8df78d4ce070fea927075eeb7e6d283f8e64e34 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 20 Mar 2013 18:46:45 -0400
Subject: Better reporting of detached git state in --version and --show-config

---
 src/main/options_handlers.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/main/options_handlers.h')

diff --git a/src/main/options_handlers.h b/src/main/options_handlers.h
index f14a67d5f..4bb4841fe 100644
--- a/src/main/options_handlers.h
+++ b/src/main/options_handlers.h
@@ -27,8 +27,12 @@ inline void showConfiguration(std::string option, SmtEngine* smt) {
   printf("\n");
   printf("version    : %s\n", Configuration::getVersionString().c_str());
   if(Configuration::isGitBuild()) {
+    const char* branchName = Configuration::getGitBranchName();
+    if(*branchName == '\0') {
+      branchName = "-";
+    }
     printf("scm        : git [%s %s%s]\n",
-           Configuration::getGitBranchName(),
+           branchName,
            std::string(Configuration::getGitCommit()).substr(0, 8).c_str(),
            Configuration::hasGitModifications() ?
              " (with modifications)" : "");
-- 
cgit v1.2.3