diff options
| author | Efraim Flashner <[email protected]> | 2024-02-25 10:35:26 +0200 |
|---|---|---|
| committer | Efraim Flashner <[email protected]> | 2024-02-25 10:35:26 +0200 |
| commit | 0da09b370cc48ac1c090d7a6f5823186534a96d0 (patch) | |
| tree | ee6affa81139a8f54243e03ea71ab12cc74e7d96 /gnu/packages/patches/wcstools-extend-makefiles.patch | |
| parent | e75335fc91e60ea80dc6bdbe3a99824928820011 (diff) | |
gnu: python-graph-tool: Limit build to 1 core.
* gnu/packages/graph.scm (python-graph-tool)[arguments]: Set
parallel-build to #false.
Change-Id: Id181554cda028c6e9985f029a3ef98d14efb0c27
Diffstat (limited to 'gnu/packages/patches/wcstools-extend-makefiles.patch')
0 files changed, 0 insertions, 0 deletions