Source Mage code commit list

[Pavel Vinogradov <scm AT sourcemage.org>]

GIT changes to master grimoire by Pavel Vinogradov <public AT sourcemage.org>:

 kernels/linux/HISTORY   |    3 +++
 kernels/linux/PRE_BUILD |    3 ++-
 2 files changed, 5 insertions(+), 1 deletion(-)

New commits:
commit b73991d8259759083361ca03484ff4487c1bd42f
Author: Pavel Vinogradov <public AT sourcemage.org>
Commit: Pavel Vinogradov <public AT sourcemage.org>

    kernels/linux: included missing awk script (ver_linux) for awk path fixing

diff --git a/kernels/linux/HISTORY b/kernels/linux/HISTORY
index ba3e162..2e875e4 100644
--- a/kernels/linux/HISTORY
+++ b/kernels/linux/HISTORY
@@ -1,3 +1,6 @@
+2023-11-05 Pavel Vinogradov <public AT sorcemage.org>
+       * PRE_BUILD: included missing awk script (ver_linux) for awk path 
fixing
+
 2023-11-04 Pavel Vinogradov <public AT sorcemage.org>
        * PRE_BUILD, 0001-fix-hard-coded-path-to-awk.patch: deleted the patch,
          sed script does the job now
diff --git a/kernels/linux/PRE_BUILD b/kernels/linux/PRE_BUILD
index 9bc6738..1f6cd92 100755
--- a/kernels/linux/PRE_BUILD
+++ b/kernels/linux/PRE_BUILD
@@ -217,4 +217,5 @@ fi &&
 chmod -f +x "${LINUX_SOURCE_DIRECTORY}/tools/objtool/sync-check.sh" &&
 
 # fix path to awk
-find "${LINUX_SOURCE_DIRECTORY}" -name *.awk -exec sed 
'/usr\/bin\/awk/s;usr\/;;' -i {} \;
+find "${LINUX_SOURCE_DIRECTORY}" -name *.awk -o -name ver_linux \
+  -exec sed '/usr\/bin\/awk/s;usr\/;;' -i {} \;