jtag: use proper format with uint32_t
[fw/openocd] / src / jtag / drivers / arm-jtag-ew.c
index 405278b9a1596d7d86da708720f7ddc18bac22a7..60b1195484f185177b63b78bd6477eea210e2959 100644 (file)
@@ -160,7 +160,7 @@ static int armjtagew_execute_queue(void)
                                break;
 
                        case JTAG_SLEEP:
-                               LOG_DEBUG_IO("sleep %i", cmd->cmd.sleep->us);
+                               LOG_DEBUG_IO("sleep %" PRIu32, cmd->cmd.sleep->us);
                                armjtagew_tap_execute();
                                jtag_sleep(cmd->cmd.sleep->us);
                                break;