Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Improve commit_hash.h dependencies and generation
The previous setup was not regenerating commit_hash.h correctly when the dev tree was modified by git operations.
- Loading branch information