jtag: use proper format with uint32_t
[fw/openocd] / src / jtag / drivers / rlink.c
index 28435646633e4c4f5c7114fea63258f8645310a4..be4ad08bf2d3c126a3d380ce88842b5b4864c19a 100644 (file)
@@ -1340,7 +1340,7 @@ static int rlink_execute_queue(void)
                                        retval = ERROR_FAIL;
                                break;
                        case JTAG_SLEEP:
-                               LOG_DEBUG_IO("sleep %i", cmd->cmd.sleep->us);
+                               LOG_DEBUG_IO("sleep %" PRIu32, cmd->cmd.sleep->us);
                                jtag_sleep(cmd->cmd.sleep->us);
                                break;
                        default: