hosted/platform: make platform identifier nicer to read

This commit is contained in:
Rafael Silva 2022-08-06 20:01:05 +01:00 committed by Rachel Mant
parent 3a673225b7
commit 322af2506b
1 changed files with 5 additions and 5 deletions

View File

@ -276,22 +276,22 @@ char *platform_ident(void)
{ {
switch (info.bmp_type) { switch (info.bmp_type) {
case BMP_TYPE_NONE: case BMP_TYPE_NONE:
return "NONE"; return "None";
case BMP_TYPE_BMP: case BMP_TYPE_BMP:
return "BMP"; return "BMP";
case BMP_TYPE_STLINKV2: case BMP_TYPE_STLINKV2:
return "STLINKV2"; return "ST-Link v2";
case BMP_TYPE_LIBFTDI: case BMP_TYPE_LIBFTDI:
return "LIBFTDI"; return "libFTDI";
case BMP_TYPE_CMSIS_DAP: case BMP_TYPE_CMSIS_DAP:
return "CMSIS_DAP"; return "CMSIS-DAP";
case BMP_TYPE_JLINK: case BMP_TYPE_JLINK:
return "JLINK"; return "J-Link";
default: default:
return NULL; return NULL;