From 96c0db99d33cb87d914aac58e19fdddebd2c3285 Mon Sep 17 00:00:00 2001 From: Michal Sojka Date: Tue, 23 Jul 2013 13:56:49 +0200 Subject: [PATCH] Do not use 64 bit integer If the code generation is configured for 32 bit architecture, uint64_T type is not defined. --- ert_linux/ert_linux_multitasking_main.tlc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ert_linux/ert_linux_multitasking_main.tlc b/ert_linux/ert_linux_multitasking_main.tlc index 3308b96..fb8eed1 100644 --- a/ert_linux/ert_linux_multitasking_main.tlc +++ b/ert_linux/ert_linux_multitasking_main.tlc @@ -191,8 +191,8 @@ clock_gettime(CLOCK_MONOTONIC, &now); if (now.tv_sec > next.tv_sec || (now.tv_sec == next.tv_sec && now.tv_nsec > next.tv_nsec)) { - uint64_T nsec = (now.tv_sec - next.tv_sec) * 1000000000 + now.tv_nsec - next.tv_nsec; - fprintf(stderr, "Base rate (%s) overrun by %d us\n", (int)(nsec/1000)); + uint32_T usec = (now.tv_sec - next.tv_sec) * 1000000 + (now.tv_nsec - next.tv_nsec)/1000; + fprintf(stderr, "Base rate (%s) overrun by %d us\n", usec); next = now; continue; } -- 2.39.2