Use the correct printf format for 64 bit integers.

This commit is contained in:
Jef Driesen 2010-04-02 13:04:53 +00:00
parent 33051dd294
commit 0faf2bf815

View File

@ -28,6 +28,12 @@
#include <unistd.h>
#endif
#ifdef _WIN32
#define DC_TICKS_FORMAT "%I64d"
#else
#define DC_TICKS_FORMAT "%lld"
#endif
#include <suunto.h>
#include <reefnet.h>
#include <uwatec.h>
@ -351,7 +357,7 @@ event_cb (device_t *device, device_event_t event, const void *data, void *userda
break;
case DEVICE_EVENT_CLOCK:
devdata->clock = *clock;
message ("Event: systime=%u, devtime=%u\n",
message ("Event: systime=" DC_TICKS_FORMAT ", devtime=%u\n",
clock->systime, clock->devtime);
break;
default: