tree d8054f4c81d773baca6a2b9430bd8032bba9a17a
parent ee856671352ed0e22b33d7418f5265a2951b5ebd
author Guy Zadickario <guy@graphtech.co.il> 1309808541 +0300
committer Guy Zadickario <guy@graphtech.co.il> 1310045524 +0300

opengl renderer: added option to dump GL stream to file.

This is a debugging tool which enables to dump the guest
command stream to a file which can be later be examined
and "played" using a seperate tool.

Change-Id: I3fec19c1a651f0ed4394c33a0c0cd9ba54384355