summaryrefslogtreecommitdiffstats
path: root/debian/bin/no-depmod
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xdebian/bin/no-depmod18
1 files changed, 18 insertions, 0 deletions
diff --git a/debian/bin/no-depmod b/debian/bin/no-depmod
new file mode 100755
index 0000000000..ed5a8463f1
--- /dev/null
+++ b/debian/bin/no-depmod
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+set -e
+
+# This is a dummy substitute for depmod. Since we run depmod during
+# postinst, we do not need or want to package the files that it
+# generates.
+
+if [ "x$1" = x-V ]; then
+ # Satisfy version test
+ echo 'not really module-init-tools'
+elif [ "x$1" = x-b -a "${2%/depmod.??????}" != "$2" ]; then
+ # Satisfy test of short kernel versions
+ mkdir -p "$2/lib/modules/$3"
+ touch "$2/lib/modules/$3/modules.dep"
+else
+ echo 'skipping depmod'
+fi