From 75a48b3556d462be4a9e3c91694bf0f4e9239982 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Miro=20Hron=C4=8Dok?= <miro@hroncok.cz>
Date: Tue, 28 Apr 2020 14:09:53 +0200
Subject: [PATCH] Remove unsued source

See cecab66c5d8bfde3693c81a266d6af594d4c9ed7
---
 kmod.prov | 28 ----------------------------
 1 file changed, 28 deletions(-)
 delete mode 100644 kmod.prov

diff --git a/kmod.prov b/kmod.prov
deleted file mode 100644
index bbe5aa0..0000000
--- a/kmod.prov
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/sh +x
-# Kernel build can have many thousands of modules.
-# kmod.prov is run for every one of them.
-# Try to make this script run as fast as we can.
-# For example, use shell string ops instead of external programs
-# where possible.
-
-IFS=$'\n'
-
-read -r fname || exit
-
-# Only process files from .../lib/modules/... subtree
-[ "${fname#*/lib/modules/*}" != "$fname" ] || exit 0
-
-kmod=${fname##*/}  # like basename, but faster
-
-if [ "$kmod" = "modules.builtin" ]; then
-        for j in $(cat -- "$fname"); do
-                echo "kmod(${j##*/})"
-        done
-        exit 0
-fi
-
-kmod=${kmod%.gz}
-kmod=${kmod%.xz}
-if [ "${kmod%.ko}" != "$kmod" ]; then
-        echo "kmod($kmod)"
-fi