JuliaLang/julia — pull request #3422 by lindahua (2013-06-17 16:32:38+00:00)
Title: Allow setting USE_MKL and MKLLIB in Make.user

With this small change, one can set ``USE_MKL`` and ``MKLLIB`` in Make.user and Make.inc honors such settings if they are there.

If these variables are not set in Make.user, it falls back onto the default settings.