Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is meant to reduce nondeterminism across machines or docker vs host, but it does not seem to fully solve the problem yet (it does remove some paths from the resulting binary, so I think it is necessary, but not sufficient). Ref #865
- Loading branch information