diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-04-11 09:01:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-11 01:01:09 -0600 |
| commit | 215d194482772ee3ba15c9e2700d8562c25ab6bd (patch) | |
| tree | e8803e7d00dfb2c8c340800c1a00ec09373a6064 /.gitattributes | |
| parent | 291a2b541b8d82945fcf7edf5083ecc88d1f322d (diff) | |
| download | spack-215d194482772ee3ba15c9e2700d8562c25ab6bd.tar.gz spack-215d194482772ee3ba15c9e2700d8562c25ab6bd.tar.bz2 spack-215d194482772ee3ba15c9e2700d8562c25ab6bd.tar.xz spack-215d194482772ee3ba15c9e2700d8562c25ab6bd.zip | |
ASP-based solver: assign OS correctly with inheritance from parent (#22896)
fixes #22871
When in presence of multiple choices for the operating system
we were lacking a rule to derive the node OS if it was
inherited.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions