mirror of
https://github.com/MariaDB/server.git
synced 2026-05-11 01:20:15 +02:00
bzr merge -rtag:mariadb-10.0.15 maria/10.0
This commit is contained in:
commit
3bb02f3e6d
2330 changed files with 593213 additions and 12446 deletions
|
|
@ -181,7 +181,7 @@ IF(RPM MATCHES "(rhel|centos)5")
|
|||
ELSEIF(RPM MATCHES "(rhel|centos)6")
|
||||
ALTERNATIVE_NAME("client" "mysql")
|
||||
ALTERNATIVE_NAME("shared" "mysql-libs")
|
||||
ELSEIF(RPM MATCHES "fedora")
|
||||
ELSEIF(RPM MATCHES "fedora" OR RPM MATCHES "(rhel|centos)7")
|
||||
SET(epoch 1) # this is fedora
|
||||
ALTERNATIVE_NAME("client" "mariadb")
|
||||
ALTERNATIVE_NAME("client" "mysql")
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue