1 --- VirtualBox-3.1.8_OSE/src/VBox/Additions/linux/export_modules.orig 2010-05-10 08:45:29.000000000 +0200
2 +++ VirtualBox-3.1.8_OSE/src/VBox/Additions/linux/export_modules 2010-05-16 14:15:16.321158339 +0200
4 install -D -m 0755 `echo $f|cut -d'=' -f1` "$PATH_TMP/vboxsf/`echo $f|cut -d'>' -f2`"
7 +# vboxvideo_drm (VirtualBox guest kernel module for DRI)
8 +mkdir $PATH_TMP/vboxvideo_drm || exit 1
9 +for f in $FILES_VBOXVIDEO_DRM_NOBIN; do
10 + install -D -m 0644 `echo $f|cut -d'=' -f1` "$PATH_TMP/vboxvideo_drm/`echo $f|cut -d'>' -f2`"
12 +for f in $FILES_VBOXVIDEO_DRM_BIN; do
13 + install -D -m 0755 `echo $f|cut -d'=' -f1` "$PATH_TMP/vboxvideo_drm/`echo $f|cut -d'>' -f2`"
16 # Only temporary, omit from archive
17 rm $PATH_TMP/version-generated.h