| 76 | static bool PrintVersionFlag = false; |
| 77 | |
| 78 | void PrintVersion() { |
| 79 | PrintVersionFlag = true; |
| 80 | std::fputs(VersionString+1,stderr); |
| 81 | } |
| 82 | |
| 83 | void PrintExtraVersionInfo( const char* category, const char* format, ... ) { |
| 84 | if( PrintVersionFlag ) { |
no test coverage detected