diff options
| author | Marius Bakke <[email protected]> | 2018-08-01 13:15:56 +0200 |
|---|---|---|
| committer | Marius Bakke <[email protected]> | 2018-08-01 13:32:11 +0200 |
| commit | 2207053542f293980266ab77c920fcd8de2f961b (patch) | |
| tree | d6bff97d7de1d1c22936054688e2016d3400cb06 /gnu/packages/patches/gdb-python-3.7.patch | |
| parent | ad430c7127557bc8235e0f5010a04de85f81239e (diff) | |
gnu: dmraid: Disable parallel build.
Fixes a race condition as reported by Brendan Tildesley
<[email protected]> in <https://bugs.gnu.org/31999#187>.
* gnu/packages/disk.scm (dmraid)[arguments]: Set #:parallel-build #f.
Diffstat (limited to 'gnu/packages/patches/gdb-python-3.7.patch')
0 files changed, 0 insertions, 0 deletions