diff options
| author | Jakob Unterwurzacher | 2021-08-20 10:57:26 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2021-08-20 10:58:42 +0200 |
| commit | 195d9d18a90d88ff2cb0530d832c59d98934fd1f (patch) | |
| tree | e226de2355cfdf3f2d3a26411b85a338f2a264ef /.github/workflows | |
| parent | 8f94083a2114c3aef4bc0320065e0374c420ea4a (diff) | |
Implement -deterministic-names: extended -zerodiriv
-deterministc-names uses all-zero dirivs but does not write
them to disk anymore.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions