mirror of
https://github.com/MariaDB/server.git
synced 2025-07-29 05:21:33 +03:00
Add --valgrind to VERSION() string for valgrind builds
Fixes main.sp-no-valgrind for valgrind builds not done with BUILD scripts
This commit is contained in:
@ -9038,10 +9038,12 @@ void set_server_version(char *buf, size_t size)
|
||||
{
|
||||
bool is_log= opt_log || global_system_variables.sql_log_slow || opt_bin_log;
|
||||
bool is_debug= IF_DBUG(!strstr(MYSQL_SERVER_SUFFIX_STR, "-debug"), 0);
|
||||
bool is_valgrind= IF_VALGRIND(!strstr(MYSQL_SERVER_SUFFIX_STR, "-valgrind"), 0);
|
||||
strxnmov(buf, size - 1,
|
||||
MYSQL_SERVER_VERSION,
|
||||
MYSQL_SERVER_SUFFIX_STR,
|
||||
IF_EMBEDDED("-embedded", ""),
|
||||
is_valgrind ? "-valgrind" : "",
|
||||
is_debug ? "-debug" : "",
|
||||
is_log ? "-log" : "",
|
||||
NullS);
|
||||
|
Reference in New Issue
Block a user