1 --- VirtualBox-6.1.2/src/VBox/HostDrivers/linux/export_modules.sh.orig 2020-02-14 01:33:04.739918751 +0100
2 +++ VirtualBox-6.1.2/src/VBox/HostDrivers/linux/export_modules.sh 2020-02-14 01:33:35.779769111 +0100
4 < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile
6 sed -e "s;VBOX_WITH_HARDENING;;g" \
7 - -e "s;VBOX_WITH_EFLAGS_AC_SET_IN_VBOXDRV;;g" \
8 - -e "s;IPRT_WITH_EFLAGS_AC_PRESERVING;;g" \
9 + -e "s;VBOX_WITHOUT_EFLAGS_AC_SET_IN_VBOXDRV;;g" \
10 + -e "s;IPRT_WITHOUT_EFLAGS_AC_PRESERVING;;g" \
11 < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile