mirror of https://github.com/MariaDB/server
Browse Source
This complements commit ecb0e0ade4 that
disabled a bunch of plugins from being built on Travis-CI (due to time
and disk space saving reasons).
When the plugins are not built, the packaging phase will fail due to
missing files. This change omits the files from packaging to the process
can complete successfully.
pull/809/head
1 changed files with 3 additions and 0 deletions
Loading…
Reference in new issue