diff options
| author | Hauke Mehrtens <hauke@hauke-m.de> | 2021-11-07 17:15:06 +0100 |
|---|---|---|
| committer | Hauke Mehrtens <hauke@hauke-m.de> | 2021-11-07 18:32:21 +0100 |
| commit | 71af55ae2a9f5de71041936502c6a631349f33a7 (patch) | |
| tree | 311b37342ae965cddb9d5e1abbdf84c083683532 /.github | |
| parent | 84616a1725ad274852a7bb016c25653627505714 (diff) | |
| download | upstream-71af55ae2a9f5de71041936502c6a631349f33a7.tar.gz upstream-71af55ae2a9f5de71041936502c6a631349f33a7.tar.bz2 upstream-71af55ae2a9f5de71041936502c6a631349f33a7.zip | |
gdb: Make only full gdb depend on libgmp
libgmp is only needed for the full gdb and not for the gdbserver
application.
Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions