diff options
| author |  Navidem <navid.emamdoost@gmail.com> | 2022-06-15 11:09:02 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2022-06-15 11:09:02 -0500 |
| commit | 3ad57541c15fe640092a70844a607824892e27ff (patch) | |
| tree | 3ce180e4143e03ba541a9b00f43b0e03bc52b3fb /infra/build | |
| parent | bdfa1ef3d2335a5be03bda4ff88aff76c775050b (diff) | |
Install gdb 12 from source (#7842)
* Install gdb12 from source
* nit: remove tar file
* nit
* Separate GDB installation and purge libs
* Pass -y to purge
* use remove --purge
Diffstat (limited to 'infra/build')
0 files changed, 0 insertions, 0 deletions