# HG changeset patch # User Pascal Bellard # Date 1379937262 0 # Node ID b886a2277bd3cfdc3365bbc09773a4f63ed414e3 # Parent 6605161a54b795dc1e3d3ef13b74f796ee077dcb mysql, mariadb: remove wrong error trigger diff -r 6605161a54b7 -r b886a2277bd3 mariadb/receipt --- a/mariadb/receipt Mon Sep 23 10:36:37 2013 +0000 +++ b/mariadb/receipt Mon Sep 23 11:54:22 2013 +0000 @@ -36,7 +36,7 @@ -DINSTALL_PLUGINDIR=lib/mysql/plugin \ -DINSTALL_SHAREDIR=share \ -DINSTALL_MYSQLSHAREDIR=share/mysql \ - -DINSTALL_UNIX_ADDRDIR=/var/run/mysqld/mysqld.sock + -DINSTALL_UNIX_ADDRDIR=/var/run/mysqld/mysqld.sock | grep -v HAVE_WERROR_FLAG && make $MAKEFLAGS && make install } diff -r 6605161a54b7 -r b886a2277bd3 mysql/receipt --- a/mysql/receipt Mon Sep 23 10:36:37 2013 +0000 +++ b/mysql/receipt Mon Sep 23 11:54:22 2013 +0000 @@ -57,7 +57,7 @@ -DWITHOUT_EXAMPLE_STORAGE_ENGINE=1 \ -DWITHOUT_ARCHIVE_STORAGE_ENGINE=1 \ -DWITHOUT_BLACKHOLE_STORAGE_ENGINE=1 \ - -DWITHOUT_FEDERATED_STORAGE_ENGINE=1 && + -DWITHOUT_FEDERATED_STORAGE_ENGINE=1 2>&1 | grep -v HAVE_WERROR_FLAG && make && make DESTDIR=$DESTDIR install }