| commit | ec4367fef254b5701158f10e3d9be71d9f62eecc | [log] [tgz] |
|---|---|---|
| author | Brian Olsen <bnolsen@gmail.com> | Fri May 19 15:12:28 2023 +0000 |
| committer | Brian Olsen <bnolsen@gmail.com> | Fri May 19 15:12:28 2023 +0000 |
| tree | c8be81a06b93f4039087395bbe84be611ea674be | |
| parent | 8b290442a0e3ea8bac94b3e7c8bb9a9a282afba0 [diff] |
jenkins/bin/environment.sh: add detection for devtoolset-8