diff options
| author | Tanaka Akira <akr@users.sourceforge.net> | 2000-02-14 00:19:18 +0000 |
|---|---|---|
| committer | Tanaka Akira <akr@users.sourceforge.net> | 2000-02-14 00:19:18 +0000 |
| commit | 33457202ce09232486a4456bc90a07d19ed5537a (patch) | |
| tree | ffa7b16788faebb6dda3845e7a3393746fada27c /Src | |
| parent | 6751b5398a282cf00e88ff1548267b5190ba0ef7 (diff) | |
| download | zsh-33457202ce09232486a4456bc90a07d19ed5537a.tar.gz zsh-33457202ce09232486a4456bc90a07d19ed5537a.tar.xz zsh-33457202ce09232486a4456bc90a07d19ed5537a.zip | |
zsh-workers/9701
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" |