diff -r 9ff03eddd950 -r 18722e5bd386 hedgewars/uRender.pas
--- a/hedgewars/uRender.pas	Sat Aug 08 21:25:59 2015 +0200
+++ b/hedgewars/uRender.pas	Sat Aug 08 21:37:19 2015 +0200
@@ -360,6 +360,7 @@
 
 function glLoadExtension(extension : shortstring) : boolean;
 begin
+(*
 //TODO: pas2c does not handle {$IF (GLunit = gles11) OR DEFINED(PAS2C)}
 {$IFNDEF PAS2C}
 {$IF GLunit = gles11}
@@ -378,6 +379,11 @@
 {$ELSE} // pas2c part
     glLoadExtension:= false;
 {$ENDIF}
+*)
+ 
+ extension:= extension; // avoid hint
+ glLoadExtension:= false;
+ AddFileLog('OpenGL - "' + extension + '" skipped')
 end;
 
 {$IFDEF USE_S3D_RENDERING OR USE_VIDEO_RECORDING}