1 files changed, 46 insertions, 0 deletions
diff --git a/debian/patches/0003-print-a-warning-if-proc-is-not-mounted.patch b/debian/patches/0003-print-a-warning-if-proc-is-not-mounted.patch
new file mode 100644
index 0000000..dd0ee6f
--- /dev/null
+++ b/debian/patches/0003-print-a-warning-if-proc-is-not-mounted.patch
@@ -0,0 +1,46 @@
+From 0285b2ad62086f868c23414fe46d0ccdcbe8c6db Mon Sep 17 00:00:00 2001
+From: Andreas Beckmann <anbe@debian.org>
+Date: Fri, 31 Mar 2023 09:45:00 +0200
+Subject: [PATCH] print a warning if /proc is not mounted
+
+---
+ dkms.in | 9 +++++++--
+ 1 file changed, 7 insertions(+), 2 deletions(-)
+
+diff --git a/dkms.in b/dkms.in
+index 3f5fc41..6a52a55 100644
+--- a/dkms.in
++++ b/dkms.in
+@@ -672,7 +672,7 @@ get_module_verinfo(){
+             ;;
+     esac
+     done < <(modinfo "$1")
+-    
++
+     echo -E "${ver}"
+     # Use obsolete checksum info if srcversion is not available
+     echo -E "${srcver:-$checksum}"
+@@ -767,7 +767,7 @@ check_version_sanity()
+         return 0
+     fi
+     local dkms_module=$(compressed_or_uncompressed "$dkms_tree/$module/$module_version/$1/$2/module/" "${4}")
+-    
++
+     local cmp_res="$(compare_module_version "${kernels_module}" "${dkms_module}")"
+     if [[ "${cmp_res}" = ">" ]]; then
+         if [[ ! "$force" ]]; then
+@@ -2499,6 +2499,11 @@ done
+ 
+ # Sanity checking
+ 
++# The <(cmd) idiom does not work if /proc is not mounted
++if [ ! -e <(echo) ]; then
++    warn $"dkms will not function properly if /proc is not mounted."
++fi
++
+ # Error out if binaries-only is set and source-only is set
+ if [[ $binaries_only && $source_only ]]; then
+     die 8 $" You have specified both --binaries-only and --source-only." \
+-- 
+2.20.1
+