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 | ||
