Check if GL_ARB_timer_query is supported before using it.

diff --git a/retrace/glretrace_main.cpp b/retrace/glretrace_main.cpp
index ce064021bfa28ba74b99884f92ad5de49c52e28c..e3bb9d42ec8b2c346bb9c35bd529eb846d24c13e 100644 (file)
--- a/retrace/glretrace_main.cpp
+++ b/retrace/glretrace_main.cpp
@@ -171,6 +171,12 @@ getActiveProgram()
 void
 beginProfile(trace::Call &call) {
     if (firstFrame) {
+        const char* extensions = (const char*)glGetString(GL_EXTENSIONS);
+        if (!glws::checkExtension("GL_ARB_timer_query", extensions)) {
+            std::cout << "Error: Cannot run profile, GL_ARB_timer_query extension is not supported." << std::endl;
+            exit(-1);
+        }
+
         frame_start();
     }