From 7cf0658561ae30a672bb149eeefdb69045218383 Mon Sep 17 00:00:00 2001 From: Jason Self Date: Mon, 4 Feb 2019 18:23:06 -0800 Subject: [PATCH] deblob-4.10.1-gnu --- deblob-4.10 | 21 +++++++++++++++++---- 1 file changed, 17 insertions(+), 4 deletions(-) diff --git a/deblob-4.10 b/deblob-4.10 index baf8d890663..e374b545663 100755 --- a/deblob-4.10 +++ b/deblob-4.10 @@ -341,16 +341,29 @@ grep -q Linux-libre README || clean_sed ' 1 s,^Linux kernel$,GNU Linux-libre, 2 s,^============$,===============, -' README 'rename to GNU Linux-libre' +' README 'renamed to GNU Linux-libre' grep -q Linux-libre Documentation/admin-guide/README.rst || clean_sed ' 1,3 s,Linux kernel release.*kernel\.org.*,GNU Linux-libre , 2 s,=$,&&, +' Documentation/admin-guide/README.rst 'renamed to GNU Linux-libre' + +grep -q 'release notes for GNU Linux-libre' Documentation/admin-guide/README.rst || +clean_sed ' 2,5 s,Linux version [0-9.]*[0-9],GNU Linux-libre, +' Documentation/admin-guide/README.rst 'dropped partial Linux version' + +grep -q 'Unix kernel' Documentation/admin-guide/README.rst || +clean_sed ' 1,20 s,\(operating system \)\?Unix,Unix kernel, -/WHAT IS LINUX/i\ -WHAT IS GNU Linux-libre?\ +' Documentation/admin-guide/README.rst 'Linux is a kernel' + +grep -q 'What is GNU Linux-libre' Documentation/admin-guide/README.rst || +clean_sed ' +/What is Linux/i\ +What is GNU Linux-libre?\ +------------------------\ \ GNU Linux-libre is a Free version of the kernel Linux (see below),\ suitable for use with the GNU Operating System in 100% Free\ @@ -478,7 +491,7 @@ maybe_reject_firmware_nowait(struct module *module, int uevent,\ #endif /* _LINUX_LIBRE_FIRMWARE_H */\ ' include/linux/firmware.h 'added non-Free firmware notification support' -grep -q _LINUX_LIBRE_IHEX_FIRMWARE_H include/linux/ihex.h || +grep -q _LINUX_LIBRE_IHEX_H include/linux/ihex.h || clean_sed '$i\ #ifndef _LINUX_LIBRE_IHEX_H\ #define _LINUX_LIBRE_IHEX_H\ -- 2.25.1