diff options
-rw-r--r-- | functions | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -42,14 +42,6 @@ get_basename() { echo "${1##*/}" } -get_module_name() { - #cleanup - remove .ko, replace - with _ - local modname="${1%.gz}" - modname=$(get_basename "${modname%.ko}") - modname="${modname//-/_}" - echo "$modname" -} - in_array() { # Search for an element in an array. # $1: needle |