diff options
| author | Otto Kekäläinen <otto@mariadb.org> | 2018-06-29 17:29:00 +0300 |
|---|---|---|
| committer | Otto Kekäläinen <otto@mariadb.org> | 2018-06-29 17:31:20 +0300 |
| commit | d6b26a8924045023e9e2d12c7657034688fd4071 (patch) | |
| tree | 50f5a83585404809019020f4f77e7c836cb576c5 /debian | |
| parent | dbdaafb0149f5cdc619908dec26c3d54246dd6c1 (diff) | |
| download | mariadb-git-d6b26a8924045023e9e2d12c7657034688fd4071.tar.gz | |
Travis-CI: Don't build nor package the embedded server to save disk space
Fixes errors on Travis like:
cp: error writing debian/libmariadbd19//usr/lib/x86_64-linux-gnu/
libmariadbd.so.19: No space left on device
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/autobake-deb.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/autobake-deb.sh b/debian/autobake-deb.sh index f2fe17a4871..f2b521eeac8 100755 --- a/debian/autobake-deb.sh +++ b/debian/autobake-deb.sh @@ -26,7 +26,7 @@ then sed 's|DINSTALL_MYSQLTESTDIR=share/mysql/mysql-test|DINSTALL_MYSQLTESTDIR=false|' -i debian/rules # Also skip building RocksDB and TokuDB to save even more time and disk space - sed 's|-DDEB|-DPLUGIN_TOKUDB=NO -DPLUGIN_MROONGA=NO -DPLUGIN_ROCKSDB=NO -DPLUGIN_SPIDER=NO -DPLUGIN_OQGRAPH=NO -DPLUGIN_PERFSCHEMA=NO -DPLUGIN_SPHINX=NO -DDEB|' -i debian/rules + sed 's|-DDEB|-DPLUGIN_TOKUDB=NO -DPLUGIN_MROONGA=NO -DPLUGIN_ROCKSDB=NO -DPLUGIN_SPIDER=NO -DPLUGIN_OQGRAPH=NO -DPLUGIN_PERFSCHEMA=NO -DPLUGIN_SPHINX=NO -WITH_EMBEDDED_SERVER=OFF -DDEB|' -i debian/rules fi @@ -139,6 +139,7 @@ then sed -i -e "/Package: mariadb-plugin-spider/,+18d" debian/control sed -i -e "/Package: mariadb-plugin-oqgraph/,+16d" debian/control sed -i -e "/usr\/lib\/mysql\/plugin\/ha_sphinx.so/d" debian/mariadb-server-10.3.install + sed -i -e "/Package: libmariadbd-dev/,+19d" debian/control fi # Adjust changelog, add new version |