<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- ./src/gui/sdlmain.cpp.orig	2017-03-26 12:41:14.000000000 -0700
+++ ./src/gui/sdlmain.cpp	2017-03-26 12:42:25.000000000 -0700
@@ -1142,10 +1142,10 @@ static void GUI_StartUp(Section * sec) {
 #endif
 	const char * gl_ext = (const char *)glGetString (GL_EXTENSIONS);
 	if(gl_ext &amp;&amp; *gl_ext){
-		sdl.opengl.packed_pixel=(strstr(gl_ext,"EXT_packed_pixels") &gt; 0);
-		sdl.opengl.paletted_texture=(strstr(gl_ext,"EXT_paletted_texture") &gt; 0);
+		sdl.opengl.packed_pixel=(strstr(gl_ext,"EXT_packed_pixels") != NULL);
+		sdl.opengl.paletted_texture=(strstr(gl_ext,"EXT_paletted_texture") != NULL);
 #if defined(NVIDIA_PixelDataRange)
-		sdl.opengl.pixel_data_range=(strstr(gl_ext,"GL_NV_pixel_data_range") &gt;0 ) &amp;&amp;
+		sdl.opengl.pixel_data_range=(strstr(gl_ext,"GL_NV_pixel_data_range") &gt; NULL ) &amp;&amp;
 			glPixelDataRangeNV &amp;&amp; db_glAllocateMemoryNV &amp;&amp; db_glFreeMemoryNV;
 		sdl.opengl.pixel_data_range = 0;
 #endif
</pre></body></html>