diff options
| author | Michael Kuhn <michael.kuhn@ovgu.de> | 2022-03-03 14:21:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-03 14:21:15 +0100 |
| commit | 49069e4f5887e2ff6de0754cfd855163e524feab (patch) | |
| tree | b6607390363b488bd54e333072b1af6d32a2461c /etc | |
| parent | 20471b8420ff1c6f35f6e71434b9d18694ea6e0f (diff) | |
| download | spack-49069e4f5887e2ff6de0754cfd855163e524feab.tar.gz spack-49069e4f5887e2ff6de0754cfd855163e524feab.tar.bz2 spack-49069e4f5887e2ff6de0754cfd855163e524feab.tar.xz spack-49069e4f5887e2ff6de0754cfd855163e524feab.zip | |
installer: Fix cosmetic problem with terminal title (#29070)
The status displayed in the terminal title could be wrong when doing
distributed builds. For instance, doing `spack install glib` in two
different terminals could lead to the current package being reported as
`40/29` due to the way Spack handles retrying locks.
Work around this by keeping track of the package IDs that were already
encountered to avoid counting packages twice.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions