diff options
| author | dorier <dorier@users.noreply.github.com> | 2018-11-15 03:39:35 +0000 |
|---|---|---|
| committer | Adam J. Stewart <ajstewart426@gmail.com> | 2018-11-14 21:39:35 -0600 |
| commit | 8a41cbf813238cbb35b6cd9332ea1d6c39372576 (patch) | |
| tree | ea5ad8128ca92e5296088ad634050d9dcb297a4e /etc | |
| parent | 12177e41f01891e984bcd63eec1a5aea7eeb1e7a (diff) | |
| download | spack-8a41cbf813238cbb35b6cd9332ea1d6c39372576.tar.gz spack-8a41cbf813238cbb35b6cd9332ea1d6c39372576.tar.bz2 spack-8a41cbf813238cbb35b6cd9332ea1d6c39372576.tar.xz spack-8a41cbf813238cbb35b6cd9332ea1d6c39372576.zip | |
Argobots: added @develop version and +valgrind variant (#9664)
* added develop version in argobots package and added valgrind variant
* made autotools required only for develop version
* corrected style
* Added --disable-valgrind
Added --disable-valgrind to explicitly disable it when +valgrind isn't provided.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions