flush
[m6w6/ext-psi] / m4 / sys_time.m4
index 1b845dd5b8e7f35aef9b290ba6533a35c6316e0d..9c1f74444ecb63c4f4d31eb57e1341180f03e12c 100644 (file)
@@ -1,5 +1,5 @@
 PSI_CHECK_SYS_TIME() {
-       AC_CHECK_HEADERS(sys/time.h)
+       PSI_CONFIG_POSIX(sys/time, sys/time.h)
 
        PSI_CONST(ITIMER_REAL, int)
        PSI_CONST(ITIMER_VIRTUAL, int)