From f3fc4c459243cc41f20d225cb0a87f186bf1dbc1 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Thu, 19 Apr 2018 19:38:09 +0200
Subject: [PATCH] some variants need librt

---
 psi.d/time.psi | 4 ++++
 1 file changed, 4 insertions(+)

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>
-- 
2.30.2