X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/8fe9942cde59835eb3c3c6936d866dd3305582ef..003b628647705666de261350195da72a38f2c4d2:/l4/pkg/rtc/lib/libc_backend/gettime.h

diff --git a/l4/pkg/rtc/lib/libc_backend/gettime.h b/l4/pkg/rtc/lib/libc_backend/gettime.h
index 042f0e40a..4d870dc0a 100644
--- a/l4/pkg/rtc/lib/libc_backend/gettime.h
+++ b/l4/pkg/rtc/lib/libc_backend/gettime.h
@@ -33,7 +33,7 @@ static inline void libc_backend_rtc_get_s_and_ns(l4_uint32_t *s, l4_uint32_t *ns
   l4_tsc_to_s_and_ns(l4_rdtsc(), s, ns);
 }
 
-#elif defined(ARCH_arm) || defined(ARCH_ppc32) || defined(ARCH_sparc)
+#else
 
 static inline void libc_backend_rtc_init(void)
 {
@@ -47,8 +47,6 @@ static inline void libc_backend_rtc_get_s_and_ns(l4_uint32_t *s, l4_uint32_t *ns
   *ns = (c % 1000000) * 1000;
 }
 
-#else
-#error Unknown architecture
 #endif
 
 #endif /* ! __RTC__LIB__LIBC_BACKEND__TIME__GETTIME_H__ */