Uses  instead of make.
This helps if make is aliased

git-svn-id: file:///svn/tokudb@5729 c7de825b-a66e-492c-adef-691d508d4ae1