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