commit 59982ffad738c25082053bb4a87aa7fb97ebc796 Author: Nicolas Morey-Chaisemartin Date: Fri Sep 30 14:10:47 2022 +0200 Remove date/time info from build Signed-off-by: Nicolas Morey-Chaisemartin diff --git common/tools_version.h common/tools_version.h index c656076c13b4..021da5429402 100644 --- common/tools_version.h +++ common/tools_version.h @@ -74,8 +74,9 @@ static inline int get_version_string(char* buf, int buf_size, const char* exe_na len = snprintf(buf, buf_size, "%s %s, ", exe_name, tool_version); } // cut out first and last "$" from the SVN version string: - len += snprintf(buf + len, buf_size - len, "%s, built on %s, %s. Git SHA Hash: %s", MSTFLINT_VERSION_STR, __DATE__, - __TIME__, TOOLS_GIT_SHA); + len += snprintf(buf + len, buf_size - len, "%s. Git SHA Hash: %s", + MSTFLINT_VERSION_STR, + TOOLS_GIT_SHA); return len; }