boards/arm/nrf52/nrf52840-dk/src/nrf52_highpri.c: Fix a printf format warning

This commit is contained in:
YAMAMOTO Takashi 2020-11-14 08:56:06 +09:00 committed by Xiang Xiao
parent fb91fed70c
commit 465b065790
1 changed files with 2 additions and 1 deletions

View File

@ -24,6 +24,7 @@
#include <nuttx/config.h>
#include <inttypes.h>
#include <stdio.h>
#include <stdlib.h>
#include <strings.h>
@ -265,7 +266,7 @@ int highpri_main(int argc, char *argv[])
/* Then print out what is happening */
printf("Elapsed time: %d seconds\n\n", seconds);
printf("Elapsed time: %" PRId32 " seconds\n\n", seconds);
for (i = 0, total = 0; i < 16; i++)
{
total += basepri[i];