Skip to content

Preferentially use /dev/shm on Linux#5230

Merged
bwbarrett merged 2 commits intoopen-mpi:v3.1.xfrom
hjelmn:v3.1.x_dev_shm
Jun 6, 2018
Merged

Preferentially use /dev/shm on Linux#5230
bwbarrett merged 2 commits intoopen-mpi:v3.1.xfrom
hjelmn:v3.1.x_dev_shm

Commits

Commits on Jun 5, 2018