Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Makefile: Fix repository dirty status check
Using `git diff-index` returns "dirty" status even when a file is only "touched" and there is no actual change in the repository. This commit replaces the dirty status check with an implementation based on `git diff`, which does not suffer the problem mentioned above. Signed-off-by: Stephanos Ioannidis <root@stephanos.io>
- Loading branch information