diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-18 11:16:22 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-18 12:28:34 +0100 |
| commit | 8504d1922240b29815fd3e1e231e27da391338cd (patch) | |
| tree | d77e7eb6811dd80203f98c9b16fd7e8155531c58 /gnu/packages/mpi.scm | |
| parent | af50b4abc0b577f7892dafce1a5e6f57150b88b0 (diff) | |
gnu: spice: Run tests sequentially.
* gnu/packages/spice.scm (spice)[arguments]: Add #:parallel-tests?.
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions