Merge pull request #1511 from ejohnstown/dist-tweak

Make Dist Automation Tweak
This commit is contained in:
toddouska
2018-04-25 10:56:40 -07:00
committed by GitHub

View File

@@ -207,4 +207,7 @@ merge-clean:
@find ./ | $(GREP) \.OTHER | xargs rm -f
@find ./ | $(GREP) \.BASE | xargs rm -f
@find ./ | $(GREP) \~$$ | xargs rm -f
dist-hook:
cp $(distdir)/wolfssl/options.h.in $(distdir)/wolfssl/options.h