wok rev 15238

mysql, mariadb: remove wrong error trigger
author Pascal Bellard <pascal.bellard@slitaz.org>
date Mon Sep 23 11:54:22 2013 +0000 (2013-09-23)
parents 6605161a54b7
children 7abf990db309
files mariadb/receipt mysql/receipt
line diff
     1.1 --- a/mariadb/receipt	Mon Sep 23 10:36:37 2013 +0000
     1.2 +++ b/mariadb/receipt	Mon Sep 23 11:54:22 2013 +0000
     1.3 @@ -36,7 +36,7 @@
     1.4  	-DINSTALL_PLUGINDIR=lib/mysql/plugin \
     1.5  	-DINSTALL_SHAREDIR=share \
     1.6  	-DINSTALL_MYSQLSHAREDIR=share/mysql \
     1.7 -	-DINSTALL_UNIX_ADDRDIR=/var/run/mysqld/mysqld.sock 
     1.8 +	-DINSTALL_UNIX_ADDRDIR=/var/run/mysqld/mysqld.sock | grep -v HAVE_WERROR_FLAG &&
     1.9  	make $MAKEFLAGS &&
    1.10  	make install 
    1.11  }

     2.1 --- a/mysql/receipt	Mon Sep 23 10:36:37 2013 +0000
     2.2 +++ b/mysql/receipt	Mon Sep 23 11:54:22 2013 +0000
     2.3 @@ -57,7 +57,7 @@
     2.4  		-DWITHOUT_EXAMPLE_STORAGE_ENGINE=1 \
     2.5  		-DWITHOUT_ARCHIVE_STORAGE_ENGINE=1 \
     2.6  		-DWITHOUT_BLACKHOLE_STORAGE_ENGINE=1 \
     2.7 -		-DWITHOUT_FEDERATED_STORAGE_ENGINE=1 &&
     2.8 +		-DWITHOUT_FEDERATED_STORAGE_ENGINE=1 2>&1 | grep -v HAVE_WERROR_FLAG &&
     2.9  	make && make DESTDIR=$DESTDIR install
    2.10  }
    2.11