fix /MP option not generated for Visual Studio.

[kaikai2]

This is to fix #2030

[UnaNancyOwen]

What is this commit 52d14ee?
If it is unnecessary, Please drop 52d14ee from this pull request.

[kaikai2]

@UnaNancyOwen Sorry, I did not aware pull request keeps pulling the latest branch. I've reverted the commit 52d14ee.

52d14ee is a separate issue and has been included in another pull request #2032 already.

[taketwo]

A note for the future: it's better to create a separate topic branch for each pull request, this way your commits won't mix. Also, if you need to get rid of a commit in a pull request, you can do an interactive git rebase, delete the unneeded commit, and force push the branch.

Comment to maintainers: squash commits

[kaikai2]

@taketwo Thanks for the note.

[kaikai2]

@taketwo I did a force push just now for a try, and this pull request updates with the unwanted 2 commits removed swiftly. Since it is done after the approval, will this change cause a problem?

[taketwo]

Great, thanks! No need to do squash on merge for us anymore :)

No, this is not a problem. This approval thing is just for our convenience to formalize comments like "LGTM" or "+1". It has no influence on "mergeability" of the pull request.

[UnaNancyOwen]

LGTM

[kaikai2]

OK. Cool! Thanks for clarifying that to me.