# HG changeset patch # User Teemu Piippo # Date 1396206629 -10800 # Node ID b716d1902cd487d8668211d45b1bae9281809601 # Parent 5ea0faefa82afa5914d6b32bccbc8ea1f8b1c74d - print the branch name onto the header if not master diff -r 5ea0faefa82a -r b716d1902cd4 src/main.cpp --- a/src/main.cpp Sun Mar 30 21:53:20 2014 +0300 +++ b/src/main.cpp Sun Mar 30 22:10:29 2014 +0300 @@ -64,10 +64,25 @@ String headerline; header = format (APPNAME " version %1", versionString (true)); + if (String (GIT_BRANCH) != "master") + { + header += " ("; + header += GIT_BRANCH; + header += " branch"; + } + #ifdef DEBUG - header += " (debug build)"; + if (header.firstIndexOf ("(") != -1) + header += ", "; + else + header += " ("; + + header += "debug build"; #endif + if (header.firstIndexOf ("(") != -1) + header += ")"; + for (int i = 0; i < header.length() / 2; ++i) headerline += "-=";