mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-22 06:44:16 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Makefile improvement

Browse source 
git-svn-id: file:///svn/toku/tokudb@20874 c7de825b-a66e-492c-adef-691d508d4ae1
This commit is contained in:
Yoni Fogel 2013-04-16 23:59:18 -04:00
parent 5cd73a5828
commit 316115d81a
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
toku_include/Makefile.include
View file

@ -192,7 +192,9 @@ DEPEND_COMPILE += $(wildcard $(TOKUROOT)$(OS_CHOICE)/*.h)
SUPPRESSIONS=no
#Tools
VALGRIND=valgrind
ifeq ($(VALGRIND),)
VALGRIND=valgrind
endif
VGRIND_BASE=$(VALGRIND) --quiet --error-exitcode=1 \
--suppressions=$(TOKUROOT)newbrt/valgrind.suppressions \
--suppressions=$(TOKUROOT)src/tests/bdb.suppressions \