diff options
Diffstat (limited to 'Src')
| -rw-r--r-- | Src/Makefile.in | 3 | ||||
| -rw-r--r-- | Src/mkmodindex.sh | 7 |
2 files changed, 9 insertions, 1 deletions
diff --git a/Src/Makefile.in b/Src/Makefile.in index b79299413..ebe708626 100644 --- a/Src/Makefile.in +++ b/Src/Makefile.in @@ -101,7 +101,8 @@ rm-modobjs-tmp: @CONFIG_MK@ Makemod modules.index prep: modules-bltin $(CONFIG_INCS) - ( cd $(sdir_top) && $(SHELL) $(subdir)/mkmodindex.sh $(subdir) ) \ + ( cd $(sdir_top) && OMIT_MODULES="$(OMIT_MODULES)" \ + $(SHELL) $(subdir)/mkmodindex.sh $(subdir) ) \ > modules.index.tmp @if cmp -s modules.index.tmp modules.index; then \ rm -f modules.index.tmp; \ diff --git a/Src/mkmodindex.sh b/Src/mkmodindex.sh index 75a7e43bc..1f0b8e3bd 100644 --- a/Src/mkmodindex.sh +++ b/Src/mkmodindex.sh @@ -8,6 +8,8 @@ echo "# module index generated by mkmodindex.sh" echo +omit_modules="`echo $OMIT_MODULES | sed 's/,/ /'`" + module_list=' ' while test $# -ne 0; do dir=$1 @@ -27,6 +29,11 @@ while test $# -ne 0; do echo >&2 " (ignoring duplicate)" continue ;; esac + case " $omit_modules " in *" $name "*) + echo >&2 "Module \`$name' found in \$OMIT_MODULES" + echo >&2 " (omitting it)" + continue + ;; esac module_list="$module_list$name " echo "modfile_$q_name=$modfile" eval "modfile_$q_name=\$modfile" |