diff options
| author | Brian Paul <brian.paul@tungstengraphics.com> | 2005-09-02 13:42:49 +0000 |
|---|---|---|
| committer | Brian Paul <brian.paul@tungstengraphics.com> | 2005-09-02 13:42:49 +0000 |
| commit | 4fb995084e1b4b629667f09331adf060aa0fac4c (patch) | |
| tree | b8652385e0cc674b51aafa6191719536ea116757 /src/mesa/drivers/x11/glxheader.h | |
| parent | 8cdf3729468aefb7c67c8ecd32fd850adbf6d351 (diff) | |
Prototype implementation of new GL_EXT_timer_query extension (not finalized yet).
Extends the query mechanism to query elapsed time while rendering.
Diffstat (limited to 'src/mesa/drivers/x11/glxheader.h')
| -rw-r--r-- | src/mesa/drivers/x11/glxheader.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mesa/drivers/x11/glxheader.h b/src/mesa/drivers/x11/glxheader.h index 2533d50444..34b613a1bc 100644 --- a/src/mesa/drivers/x11/glxheader.h +++ b/src/mesa/drivers/x11/glxheader.h @@ -51,6 +51,7 @@ # include <X11/extensions/XShm.h> # endif # include <GL/glx.h> +# include <sys/time.h> #endif |