Mirrors/MariaDB-server
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-12-28 08:10:14 +00:00
Code Issues Actions 5 Packages Projects Releases Wiki Activity

Update WSREP_PATCH_REVNO

Browse Source
This commit is contained in:
Nirbhay Choubey 2015-09-10 00:29:06 -04:00
parent f9510717a4
commit f479b5a16e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cmake/wsrep.cmake
View File

@ -22,8 +22,8 @@ SET(WSREP_PATCH_VERSION "11")
# MariaDB addition: Revision number of the last revision merged from
# codership branch visible in @@visible_comment.
# Branch : https://github.com/codership/mysql-wsrep/tree/5.5
SET(WSREP_PATCH_REVNO "4f81026") # Should be updated on every merge.
# Branch : https://github.com/codership/mysql-wsrep/tree/5.6
SET(WSREP_PATCH_REVNO "21a2415") # Should be updated on every merge.
# MariaDB: Obtain patch revision number:
# Update WSREP_PATCH_REVNO if WSREP_REV environment variable is set.