]>
Commit | Line | Data |
---|---|---|
de53f540 JR |
1 | --- VirtualBox-6.0.6/src/VBox/HostDrivers/linux/export_modules.sh.orig 2019-04-16 12:16:41.000000000 +0200 |
2 | +++ VirtualBox-6.0.6/src/VBox/HostDrivers/linux/export_modules.sh 2019-05-05 10:20:35.010948761 +0200 | |
3 | @@ -159,6 +159,7 @@ | |
4 | < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile | |
5 | else | |
6 | sed -e "s;-DVBOX_WITH_HARDENING;;g" \ | |
7 | + -e "s;VBOX_WITH_HARDENING;;g" \ | |
8 | -e "s;-DVBOX_WITH_EFLAGS_AC_SET_IN_VBOXDRV;;g" \ | |
9 | -e "s;-DIPRT_WITH_EFLAGS_AC_PRESERVING;;g" \ | |
10 | < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile | |
11 | @@ -172,7 +173,9 @@ | |
12 | if [ -n "$VBOX_WITH_HARDENING" ]; then | |
13 | cat $PATH_VBOXNET/linux/Makefile > $PATH_TMP/vboxnetflt/Makefile | |
14 | else | |
15 | - sed -e "s;-DVBOX_WITH_HARDENING;;g" < $PATH_VBOXNET/linux/Makefile > $PATH_TMP/vboxnetflt/Makefile | |
16 | + sed -e "s;-DVBOX_WITH_HARDENING;;g" \ | |
17 | + -e "s;VBOX_WITH_HARDENING;;g" \ | |
18 | + < $PATH_VBOXNET/linux/Makefile > $PATH_TMP/vboxnetflt/Makefile | |
19 | fi | |
20 | ||
21 | # vboxnetadp (VirtualBox network adapter kernel module) | |
22 | @@ -183,7 +186,9 @@ | |
23 | if [ -n "$VBOX_WITH_HARDENING" ]; then | |
24 | cat $PATH_VBOXADP/linux/Makefile > $PATH_TMP/vboxnetadp/Makefile | |
25 | else | |
26 | - sed -e "s;-DVBOX_WITH_HARDENING;;g" < $PATH_VBOXADP/linux/Makefile > $PATH_TMP/vboxnetadp/Makefile | |
27 | + sed -e "s;-DVBOX_WITH_HARDENING;;g" \ | |
28 | + -e "s;VBOX_WITH_HARDENING;;g" \ | |
29 | + < $PATH_VBOXADP/linux/Makefile > $PATH_TMP/vboxnetadp/Makefile | |
30 | fi | |
31 | ||
32 | # vboxpci (VirtualBox host PCI access kernel module) | |
33 | @@ -194,7 +199,9 @@ | |
34 | if [ -n "$VBOX_WITH_HARDENING" ]; then | |
35 | cat $PATH_VBOXPCI/linux/Makefile > $PATH_TMP/vboxpci/Makefile | |
36 | else | |
37 | - sed -e "s;-DVBOX_WITH_HARDENING;;g" < $PATH_VBOXPCI/linux/Makefile > $PATH_TMP/vboxpci/Makefile | |
38 | + sed -e "s;-DVBOX_WITH_HARDENING;;g" \ | |
39 | + -e "s;VBOX_WITH_HARDENING;;g" \ | |
40 | + < $PATH_VBOXPCI/linux/Makefile > $PATH_TMP/vboxpci/Makefile | |
41 | fi | |
42 | ||
43 | install -D -m 0644 $PATH_LINUX/Makefile $PATH_TMP/Makefile |