diff options
Diffstat (limited to 'platform/linux-generic/odp_time.c')
-rw-r--r-- | platform/linux-generic/odp_time.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/platform/linux-generic/odp_time.c b/platform/linux-generic/odp_time.c index 181294a95..faece0e50 100644 --- a/platform/linux-generic/odp_time.c +++ b/platform/linux-generic/odp_time.c @@ -59,8 +59,7 @@ uint64_t odp_time_get_cycles(void) ret = clock_gettime(CLOCK_MONOTONIC_RAW, &time); if (ret != 0) { - ODP_ERR("clock_gettime failed\n"); - exit(EXIT_FAILURE); + ODP_ABORT("clock_gettime failed\n"); } hz = odp_sys_cpu_hz(); |