Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Check if .git exists as a file as well (#96)
If the directory you are working from is a git worktree, `.git` [is not a directory but a file](https://git-scm.com/docs/git-worktree#_details)(last sentence of the second paragraph). This fixes getting `skipping make checknodiffgenerated due to no .git repository` when running make from a git worktree.
- Loading branch information