Merge pull request #18972 from bstriner/fix_mklroot
authorAmit Patankar <amitpatankar@google.com>
Mon, 30 Apr 2018 19:43:18 +0000 (12:43 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Apr 2018 19:43:18 +0000 (12:43 -0700)
Use MKLROOT


Trivial merge