mirror of https://github.com/MariaDB/server
Browse Source
"INSTALL" was wrong, happens too late, but "CONFIGURE_FILES(... COPYONLY)" should hopefully do it. Traditional RPMs need to be checked, the above might fix their issues.pull/843/head
2 changed files with 7 additions and 25 deletions
Loading…
Reference in new issue