diff options
Diffstat (limited to 'gdb/Makefile.in')
| -rw-r--r-- | gdb/Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gdb/Makefile.in b/gdb/Makefile.in index 9861f2b..17bcb03 100644 --- a/gdb/Makefile.in +++ b/gdb/Makefile.in @@ -1055,9 +1055,9 @@ init.c: $(INIT_FILES) sed -n -e 's/^_initialize_\([a-z_0-9A-Z]*\).*/\1/p' $$f 2>/dev/null; \ done | \ while read f; do \ - case "$$fs" in \ - "* $$f *") ;; \ - *) echo $$f ; fs="$$fs $$f ";; \ + case " $$fs " in \ + *" $$f "* ) ;; \ + * ) echo $$f ; fs="$$fs $$f";; \ esac; \ done >> init.l-tmp @echo '/* Do not modify this file. */' >>init.c-tmp |