flush
[m6w6/ext-psi] / m4 / sys_times.m4
index 9f9da565d6cc8e190bbcc3118083bdf0791bad32..33010700b70aedd831417edae0ee035de4f9839f 100644 (file)
@@ -1,5 +1,5 @@
 PSI_CHECK_SYS_TIMES() {
-       AC_CHECK_HEADERS(sys/times.h)
+       PSI_CONFIG_POSIX(sys/times, sys/times.h)
 
        PSI_STRUCT(struct tms, [
                clock_t tms_utime,