diff options
author | Jeremy White <jwhite@codeweavers.com> | 2019-07-31 10:35:07 -0500 |
---|---|---|
committer | Frediano Ziglio <fziglio@redhat.com> | 2019-08-01 10:24:53 +0100 |
commit | c8cd5f9c7857d24716358a8f934cf9bdae8a5de5 (patch) | |
tree | 600703db6b447e84972e7528204ee7e6d3952fcb | |
parent | 052b4c32efa70a67554e4d5f8ba346af664d4c71 (diff) |
Including missing header for inlined clock functions.
Fixes compilation on RHEL 7.3.
Signed-off-by: Jeremy White <jwhite@codeweavers.com>
Acked-by: Frediano Ziglio <fziglio@redhat.com>
-rw-r--r-- | spice-video-dummy/src/dummy.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/spice-video-dummy/src/dummy.h b/spice-video-dummy/src/dummy.h index af77c17..cb8afc3 100644 --- a/spice-video-dummy/src/dummy.h +++ b/spice-video-dummy/src/dummy.h @@ -10,6 +10,7 @@ #include <X11/extensions/Xv.h> #endif #include <string.h> +#include <time.h> #define GLAMOR_FOR_XORG 1 #include "glamor.h" |