blob: dd0ee6fa2f6ffad64019955fd5b077f920198da7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
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
|