eflags.ac.patch

   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
   3 @@ -173,8 +173,8 @@
   4          < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile
   5  else
   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
  12  fi
  13