-void get_extensions(std::set<std::string> *extensions)
-{
- char *str = strdup(reinterpret_cast<const char *>(glGetString(GL_EXTENSIONS)));
- for (char *ptr = strtok(str, " "); ptr != NULL; ptr = strtok(NULL, " ")) {
- extensions->insert(ptr);
- }
- free(str);
-}
-