var/spack/repos/builtin/packages/workrave/add_time_header.patch


1
2
3
4
5
6
7
8
9
10
11
12

diff --git a/backend/src/TimePred.hh b/backend/src/TimePred.hh
index 187f0fc..99bf48c 100644
--- a/backend/src/TimePred.hh
+++ b/backend/src/TimePred.hh
@@ -26,6 +26,7 @@
 #else
 # if HAVE_SYS_TIME_H
 #  include <sys/time.h>
+#  include <time.h>
 # else
 #  include <time.h>
 # endif