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 8907434..0acbf98 100644 (file)
@@ -1,3 +1,7 @@
+#ifdef linux /* old, anyway */
+lib "rt";
+#endif
+
 #include <sys/time.h>
 #include <time.h>
 #include <sys/times.h>