diff options
-rwxr-xr-x | scripts/modules-check.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/modules-check.sh b/scripts/modules-check.sh index 2f659530e1ec..39e8cb36ba19 100755 --- a/scripts/modules-check.sh +++ b/scripts/modules-check.sh | |||
@@ -6,10 +6,10 @@ set -e | |||
6 | # Check uniqueness of module names | 6 | # Check uniqueness of module names |
7 | check_same_name_modules() | 7 | check_same_name_modules() |
8 | { | 8 | { |
9 | for m in $(sed 's:.*/::' modules.order modules.builtin | sort | uniq -d) | 9 | for m in $(sed 's:.*/::' modules.order | sort | uniq -d) |
10 | do | 10 | do |
11 | echo "warning: same basename if the following are built as modules:" >&2 | 11 | echo "warning: same module names found:" >&2 |
12 | sed "/\/$m/!d;s:^kernel/: :" modules.order modules.builtin >&2 | 12 | sed -n "/\/$m/s:^kernel/: :p" modules.order >&2 |
13 | done | 13 | done |
14 | } | 14 | } |
15 | 15 | ||