+++ /dev/null
---- VirtualBox-6.0.6/src/VBox/HostDrivers/linux/export_modules.sh.orig 2019-04-16 12:16:41.000000000 +0200
-+++ VirtualBox-6.0.6/src/VBox/HostDrivers/linux/export_modules.sh 2019-05-05 10:20:35.010948761 +0200
-@@ -159,6 +159,7 @@
- < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile
- else
- sed -e "s;-DVBOX_WITH_HARDENING;;g" \
-+ -e "s;VBOX_WITH_HARDENING;;g" \
- -e "s;-DVBOX_WITH_EFLAGS_AC_SET_IN_VBOXDRV;;g" \
- -e "s;-DIPRT_WITH_EFLAGS_AC_PRESERVING;;g" \
- < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile
-@@ -172,7 +173,9 @@
- if [ -n "$VBOX_WITH_HARDENING" ]; then
- cat $PATH_VBOXNET/linux/Makefile > $PATH_TMP/vboxnetflt/Makefile
- else
-- sed -e "s;-DVBOX_WITH_HARDENING;;g" < $PATH_VBOXNET/linux/Makefile > $PATH_TMP/vboxnetflt/Makefile
-+ sed -e "s;-DVBOX_WITH_HARDENING;;g" \
-+ -e "s;VBOX_WITH_HARDENING;;g" \
-+ < $PATH_VBOXNET/linux/Makefile > $PATH_TMP/vboxnetflt/Makefile
- fi
-
- # vboxnetadp (VirtualBox network adapter kernel module)
-@@ -183,7 +186,9 @@
- if [ -n "$VBOX_WITH_HARDENING" ]; then
- cat $PATH_VBOXADP/linux/Makefile > $PATH_TMP/vboxnetadp/Makefile
- else
-- sed -e "s;-DVBOX_WITH_HARDENING;;g" < $PATH_VBOXADP/linux/Makefile > $PATH_TMP/vboxnetadp/Makefile
-+ sed -e "s;-DVBOX_WITH_HARDENING;;g" \
-+ -e "s;VBOX_WITH_HARDENING;;g" \
-+ < $PATH_VBOXADP/linux/Makefile > $PATH_TMP/vboxnetadp/Makefile
- fi
-
- # vboxpci (VirtualBox host PCI access kernel module)
-@@ -194,7 +199,9 @@
- if [ -n "$VBOX_WITH_HARDENING" ]; then
- cat $PATH_VBOXPCI/linux/Makefile > $PATH_TMP/vboxpci/Makefile
- else
-- sed -e "s;-DVBOX_WITH_HARDENING;;g" < $PATH_VBOXPCI/linux/Makefile > $PATH_TMP/vboxpci/Makefile
-+ sed -e "s;-DVBOX_WITH_HARDENING;;g" \
-+ -e "s;VBOX_WITH_HARDENING;;g" \
-+ < $PATH_VBOXPCI/linux/Makefile > $PATH_TMP/vboxpci/Makefile
- fi
-
- install -D -m 0644 $PATH_LINUX/Makefile $PATH_TMP/Makefile