From: Michael Wallner <mike@php.net>
Date: Thu, 19 Apr 2018 17:38:09 +0000 (+0200)
Subject: some variants need librt
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=f3fc4c459243cc41f20d225cb0a87f186bf1dbc1;p=m6w6%2Fext-psi

some variants need librt
---

diff --git a/psi.d/time.psi b/psi.d/time.psi
index 8907434..0acbf98 100644
--- a/psi.d/time.psi
+++ b/psi.d/time.psi
@@ -1,3 +1,7 @@
+#ifdef linux /* old, anyway */
+lib "rt";
+#endif
+
 #include <sys/time.h>
 #include <time.h>
 #include <sys/times.h>