diff options
| author | Andrew Cagney <cagney@redhat.com> | 2004-02-10 16:43:58 +0000 |
|---|---|---|
| committer | Andrew Cagney <cagney@redhat.com> | 2004-02-10 16:43:58 +0000 |
| commit | 4ff2cc4dfbf4f37d2922491e0e4f3d0e0dad5199 (patch) | |
| tree | c45eb94a6ad96d54700293c66f1bb05f51393979 /gdb/Makefile.in | |
| parent | 0df3397043e1f4bf1a3d5d1fd60d000d87323dd5 (diff) | |
| download | gdb-4ff2cc4dfbf4f37d2922491e0e4f3d0e0dad5199.zip gdb-4ff2cc4dfbf4f37d2922491e0e4f3d0e0dad5199.tar.gz gdb-4ff2cc4dfbf4f37d2922491e0e4f3d0e0dad5199.tar.bz2 | |
2004-02-10 Andrew Cagney <cagney@redhat.com>
* Makefile.in (init.c): Fix script removing duplicates. Problem
reported by Peter Schauer.
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 |