some variants need librt
authorMichael Wallner <mike@php.net>
Thu, 19 Apr 2018 17:38:09 +0000 (19:38 +0200)
committerMichael Wallner <mike@php.net>
Thu, 19 Apr 2018 17:38:09 +0000 (19:38 +0200)
psi.d/time.psi

index 89074341ce0f9f7b35c2753a8433c9749c08047a..0acbf9861247b9eab0014a629712db618430d2f2 100644 (file)
@@ -1,3 +1,7 @@
+#ifdef linux /* old, anyway */
+lib "rt";
+#endif
+
 #include <sys/time.h>
 #include <time.h>
 #include <sys/times.h>