Patch Set 3:

I think we pretty much expect $(INSTALL) to be gnu, so maybe use -D instead of mkdir?

I can do that in a follow-up commit.

View Change

To view, visit change 17573. To unsubscribe, or for help writing mail filters, visit settings.