diff options
Diffstat (limited to 'src/util/configuration.h')
| -rw-r--r-- | src/util/configuration.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/util/configuration.h b/src/util/configuration.h index 31a2ca3d4..cb207298c 100644 --- a/src/util/configuration.h +++ b/src/util/configuration.h @@ -53,6 +53,8 @@ public: static bool isTracingBuild(); + static bool isDumpingBuild(); + static bool isMuzzledBuild(); static bool isAssertionBuild(); @@ -73,6 +75,8 @@ public: static unsigned getVersionRelease(); + static std::string getVersionExtra(); + static std::string about(); static bool isBuiltWithGmp(); |