diff --git a/src/game/g_game.pas b/src/game/g_game.pas
index 963f8aec27dfa4e0f4586e9ecfbbecd6c69f203c..68b2ee4a987114e6ad98e41b8fb6518357491a37 100644 (file)
--- a/src/game/g_game.pas
+++ b/src/game/g_game.pas
begin
Parse_Params(pars);
+ s := Find_Param_Value(pars, '--opengl-dump-exts');
+ if s <> '' then gwin_dump_extensions := true; // sorry
+
// Debug mode:
s := Find_Param_Value(pars, '--debug');
if (s <> '') then