@@ -1,11 +1,12 @@
--- a/scripts/headers_install.sh 2020-02-23 21:57:41.286419715 +0200
+++ b/scripts/headers_install.sh 2020-02-23 21:55:13.582252277 +0200
-@@ -31,7 +31,7 @@
- for i in "$@"
- do
- FILE="$(basename "$i")"
-- sed -E \
-+ sed -r \
- -e 's/([[:space:](])(__user|__force|__iomem)[[:space:]]/\1/g' \
- -e 's/__attribute_const__([[:space:]]|$)/\1/g' \
- -e 's@^#include <linux/compiler(|_types).h>@@' \
+@@ -29,7 +29,7 @@
+ exit 1
+ fi
+
+-sed -E -e '
++sed -r -e '
+ s/([[:space:](])(__user|__force|__iomem)[[:space:]]/\1/g
+ s/__attribute_const__([[:space:]]|$)/\1/g
+ s@^#include <linux/compiler(|_types).h>@@
+
|