We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.
Already on GitHub?
to your account
The current erlang.mk as obtained from https://erlang.mk/erlang.mk clones the entire erlang.mk repo, including all its history, uses it for one call, and then deletes the whole repo.
Using the switch --depth 1 considerably speeds this up, as not the entire history is downloaded.
The text was updated successfully, but these errors were encountered:
True. Also for make erlang-mk I suppose.
Sorry, something went wrong.
Ah yes. You and grep tells me you do this in more than one place. - Changed my pull request #751 .
No branches or pull requests