Skip to content
New issue

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? Sign in to your account

Improve error message when git is not found #10393

Open
emillon opened this issue Apr 5, 2024 · 0 comments
Open

Improve error message when git is not found #10393

emillon opened this issue Apr 5, 2024 · 0 comments

Comments

@emillon
Copy link
Collaborator

emillon commented Apr 5, 2024

There are several cases where a build just aborts with git: command not found. This is fairly unhelpful because:

  • it does not explain what causes git to be called (ex: dune subst or dune-build-info with no version in dune-project)
  • it does not suggest a solution (like adding a version to dune-project; though that's not often the right fix)
    This happens in certain CI systems, or on nix.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant