C99 printf() -Werror fixes
[fw/openocd] / src / pld / xilinx_bit.c
index 84dc1dfc451b0ef898cd7623190177b6545ef15a..73d6123762644802bf5e9bc8c75a5c143d5ca2c8 100644 (file)
@@ -128,7 +128,7 @@ int xilinx_read_bit_file(xilinx_bit_file_t *bit_file, char *filename)
        if (read_section(input_file, 4, 'e', &bit_file->length, &bit_file->data) != ERROR_OK)
                return ERROR_PLD_FILE_LOAD_FAILED;
 
-       LOG_DEBUG("bit_file: %s %s %s,%s %i", bit_file->source_file, bit_file->part_name,
+       LOG_DEBUG("bit_file: %s %s %s,%s %" PRIi32 "", bit_file->source_file, bit_file->part_name,
                bit_file->date, bit_file->time, bit_file->length);
 
        fclose(input_file);