diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2022-02-02 19:05:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-02 10:05:24 -0800 |
| commit | cd04109e175fdc8223a5d922c7d3995496a23936 (patch) | |
| tree | aab081d7a405efd3a58e3b6a4f665f9bfb247c1e /.gitignore | |
| parent | dd7acecf3d3385458713163a20e5491108f3e4e3 (diff) | |
| download | spack-cd04109e175fdc8223a5d922c7d3995496a23936.tar.gz spack-cd04109e175fdc8223a5d922c7d3995496a23936.tar.bz2 spack-cd04109e175fdc8223a5d922c7d3995496a23936.tar.xz spack-cd04109e175fdc8223a5d922c7d3995496a23936.zip | |
Add a "sticky" property to variants (#28630)
* Add sticky variants
* Add unit tests for sticky variants
* Add documentation for sticky variants
* Revert "Revert 19736 because conflicts are avoided by clingo by default (#26721)"
This reverts commit 33ef7d57c1a09d6ce454503e9ff5638747e4f4a2.
* Add stickiness to "allow-unsupported-compiler"
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions