diff options
-rw-r--r-- | video/out/opengl/common.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/video/out/opengl/common.c b/video/out/opengl/common.c index 7df667f08c..ed3acede1c 100644 --- a/video/out/opengl/common.c +++ b/video/out/opengl/common.c @@ -514,8 +514,8 @@ void mpgl_load_functions2(GL *gl, void *(*get_fn)(void *ctx, const char *n), if (loaded[i]) *funcptr = loaded[i]; } - mp_verbose(log, "Loaded functions for %d/%s.\n", ver_core, - section->extension ? section->extension : "builtin"); + if (!must_exist && section->extension) + mp_verbose(log, "Loaded extension %s.\n", section->extension); } } |