Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
BUILD_ID: Fix dirt check when srcdir != builddir.
I also tried git --work-tree=$(top_srcdir) but did not get it to work.
- Loading branch information