1 --- VirtualBox-4.1.8_OSE/src/VBox/Additions/common/crOpenGL/glx_c_exports.c~ 2011-12-19 13:58:54.000000000 +0100
2 +++ VirtualBox-4.1.8_OSE/src/VBox/Additions/common/crOpenGL/glx_c_exports.c 2012-03-20 19:23:14.921396646 +0100
4 * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
7 +#include "xorg/xorg-server.h"
10 #include "fakedri_drv.h"
11 --- VirtualBox-4.1.8_OSE/src/VBox/Additions/common/crOpenGL/fakedri_drv.c~ 2012-03-20 18:05:06.047425764 +0100
12 +++ VirtualBox-4.1.8_OSE/src/VBox/Additions/common/crOpenGL/fakedri_drv.c 2012-03-20 19:26:39.608072546 +0100
17 +#include "xorg/xorg-server.h"