1
0
mirror of https://github.com/MariaDB/server.git synced 2025-11-30 05:23:50 +03:00
make local (at top level) skips tests

git-svn-id: file:///svn/toku/tokudb@9227 c7de825b-a66e-492c-adef-691d508d4ae1
This commit is contained in:
Yoni Fogel
2013-04-16 23:57:40 -04:00
parent 8eb17bcc21
commit 566d68bfa5
10 changed files with 35 additions and 11 deletions

View File

@@ -46,7 +46,8 @@ QUIET =
endif
default: build
build: $(TARGETS)
build: local;
local: $(TARGETS);
check: check-default