dodge a warning

diff --git a/plat_sdl.c b/plat_sdl.c
index 7f56ae6..cae6340 100644 (file)
--- a/plat_sdl.c
+++ b/plat_sdl.c
@@ -262,6 +262,8 @@ int plat_sdl_init(void)
       window = (void *)wminfo.info.x11.window;
     }
   }
+#else
+  (void)wminfo;
 #endif
 
   ret = gl_init(display, window, &gl_quirks);