diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-03-27 13:11:00 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-03-27 13:47:59 +0100 |
| commit | 57e8e8c91624546a1d73e436fb831c662fb37fbd (patch) | |
| tree | 3a209fdfab197df5fe0e856a53eae0143a10593b /gnu/packages/patches/eigen-remove-openmp-error-counting.patch | |
| parent | 76b689f339c7ef6f10917e18c630189bb2449110 (diff) | |
gnu: zstd: Fix unnecessary dependency upon $PATH.
* gnu/packages/compression (zstd)[arguments]:
Add a 'patch-command-file-names phase.
Diffstat (limited to 'gnu/packages/patches/eigen-remove-openmp-error-counting.patch')
0 files changed, 0 insertions, 0 deletions