tree 4b08834565cf5ad256eb5a0551ffbb1ff3211162
parent 2c1b69f680e42b173a655d4359382943c8b33ad4
author H.J. Lu <hjl.tools@gmail.com> 1394223510 -0800
committer H.J. Lu <hjl.tools@gmail.com> 1423192906 -0800

Don't check the plugin target twice