Merge pull request #10403 from neheb/mi
authorRosen Penev <rosenp@gmail.com>
Mon, 4 Nov 2019 19:27:18 +0000 (11:27 -0800)
committerGitHub <noreply@github.com>
Mon, 4 Nov 2019 19:27:18 +0000 (11:27 -0800)
commit92c74106bf410dc36054c3f6e2c7fbe33fd9cb50
tree54a5df1f60f473285f7f2471098e7bf291eab5e4
parentabee7936a0d7c91f614f08143014fbb6b42ed906
parent1901af7875a906718dc49be71ef4498277487400
Merge pull request #10403 from neheb/mi

mii-tool: Clean up Makefile