diff options
author | Antonio Borneo <borneo.antonio@gmail.com> | 2019-05-06 14:22:06 +0200 |
---|---|---|
committer | Antonio Borneo <borneo.antonio@gmail.com> | 2020-07-08 22:07:56 +0100 |
commit | bf346292942868db6ed8a71e2c4c8b8359d6d300 (patch) | |
tree | 32dc24fad6c72c7b3083f71de50a4fe08d1e9c95 /src/flash/nor/pic32mx.c | |
parent | f29d157882a756e562d224dd128eea1bbe3e3813 (diff) | |
download | riscv-openocd-bf346292942868db6ed8a71e2c4c8b8359d6d300.zip riscv-openocd-bf346292942868db6ed8a71e2c4c8b8359d6d300.tar.gz riscv-openocd-bf346292942868db6ed8a71e2c4c8b8359d6d300.tar.bz2 |
coding style: fix print of hex values as decimal
It is an error to prefix with "0x" the print of values in decimal.
Replace the incorrect decimal format specifier with PRIx32.
Issue identified by checkpatch script from Linux kernel v5.1 using
the command
find src/ -type f -exec ./tools/scripts/checkpatch.pl \
-q --types PRINTF_0XDECIMAL -f {} \;
Change-Id: I2eb867ef654527b2737ba573a405ec8f97c6a739
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: http://openocd.zylin.com/5624
Tested-by: jenkins
Reviewed-by: Andreas Fritiofson <andreas.fritiofson@gmail.com>
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
Diffstat (limited to 'src/flash/nor/pic32mx.c')
-rw-r--r-- | src/flash/nor/pic32mx.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/flash/nor/pic32mx.c b/src/flash/nor/pic32mx.c index 99b8419..b214642 100644 --- a/src/flash/nor/pic32mx.c +++ b/src/flash/nor/pic32mx.c @@ -817,7 +817,7 @@ static int pic32mx_info(struct flash_bank *bank, char *buf, int buf_size) if (((device_id >> 1) & 0x7ff) != PIC32MX_MANUF_ID) { snprintf(buf, buf_size, - "Cannot identify target as a PIC32MX family (manufacturer 0x%03d != 0x%03d)\n", + "Cannot identify target as a PIC32MX family (manufacturer 0x%03x != 0x%03x)\n", (unsigned)((device_id >> 1) & 0x7ff), PIC32MX_MANUF_ID); return ERROR_FLASH_OPERATION_FAILED; |