VirtualBox-export_modules.patch

   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
   3 @@ -71,6 +73,15 @@
   4      install -D -m 0755 `echo $f|cut -d'=' -f1` "$PATH_TMP/vboxsf/`echo $f|cut -d'>' -f2`"
   5  done
   6
   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`"
  11 +done
  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`"
  14 +done
  15 +
  16  # Only temporary, omit from archive
  17  rm $PATH_TMP/version-generated.h
  18