diff options
| author | Felix Geyer <fgeyer@debian.org> | 2014-04-05 22:24:15 +0200 |
|---|---|---|
| committer | Felix Geyer <fgeyer@debian.org> | 2014-04-05 22:24:15 +0200 |
| commit | c76644a18c8045ef9577bf5ca72307aafd87ea8d (patch) | |
| tree | 8fad0a12b28fc162c2584835e8c2884079d412cb | |
| parent | 3dd36dc66fa4724e7fcc6129db1cecf254bff2a5 (diff) | |
| download | virtualbox-c76644a18c8045ef9577bf5ca72307aafd87ea8d.tar.gz | |
New upstream release.
| -rw-r--r-- | debian/changelog | 5 | ||||
| -rw-r--r-- | debian/patches/39-fix-wrong-vboxvideo_drv-source.patch | 23 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
3 files changed, 1 insertions, 28 deletions
diff --git a/debian/changelog b/debian/changelog index a46e6c72c..248bd36fc 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -virtualbox (4.3.8-dfsg-1) unstable; urgency=medium +virtualbox (4.3.10-dfsg-1) unstable; urgency=medium * Team upload. @@ -6,9 +6,6 @@ virtualbox (4.3.8-dfsg-1) unstable; urgency=medium * New upstream release, patch refresh. * d/control, enforcing gsoap min required version. - [ Felix Geyer ] - * 39-fix-wrong-vboxvideo_drv-source.patch: fixed build failure. - -- Gianfranco Costamagna <costamagnagianfranco@yahoo.it> Mon, 10 Mar 2014 10:35:35 +0100 virtualbox (4.3.6-dfsg-2) unstable; urgency=medium diff --git a/debian/patches/39-fix-wrong-vboxvideo_drv-source.patch b/debian/patches/39-fix-wrong-vboxvideo_drv-source.patch deleted file mode 100644 index 86d9235d1..000000000 --- a/debian/patches/39-fix-wrong-vboxvideo_drv-source.patch +++ /dev/null @@ -1,23 +0,0 @@ -Description: Fixed wrong vboxvideo_drv_system_SOURCES reference. - Even the comment says we need at least 17 - "Build using local X.Org headers. We assume X.Org Server 1.7 or later." - -Author: Felix Geyer <fgeyer@debian.org> - ---- - -Origin: debian -Forwarded: https://www.virtualbox.org/ticket/12803 -Last-Update: <2014-03-10> - ---- virtualbox-4.3.8-dfsg.orig/src/VBox/Additions/x11/vboxvideo/Makefile.kmk -+++ virtualbox-4.3.8-dfsg/src/VBox/Additions/x11/vboxvideo/Makefile.kmk -@@ -376,7 +376,7 @@ ifdef VBOX_USE_SYSTEM_XORG_HEADERS - /usr/include/libdrm \ - /usr/include/xorg \ - /usr/include/pixman-1 -- vboxvideo_drv_system_SOURCES := $(vboxvideo_drv_15_SOURCES) -+ vboxvideo_drv_system_SOURCES := $(vboxvideo_drv_17_SOURCES) - endif - - diff --git a/debian/patches/series b/debian/patches/series index 54c952dc3..5b32c8396 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -14,4 +14,3 @@ 32-disable-guest-version-check.patch 35-libvdeplug-soname.patch 36-fix-vnc-version-string.patch -39-fix-wrong-vboxvideo_drv-source.patch |