diff options
Diffstat (limited to 'gdb/munch')
-rwxr-xr-x | gdb/munch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/gdb/munch b/gdb/munch deleted file mode 100755 index eef3927..0000000 --- a/gdb/munch +++ /dev/null @@ -1,17 +0,0 @@ -#! /bin/sh - -# create an initialization procedure from a list of .o files - -echo '/* Do not modify this file. It is created automatically by "munch". */' -echo 'void initialize_all_files () {' - -if test "$1" = "-DSYSV" ; then - shift; - nm $* | egrep '^(.*[^a-zA-Z_]_|_)initialize_' | \ - sed -e 's/^.*\(_initialize_[a-zA-Z0-9_]*\)[^a-zA-Z0-9_].*$/ \1 ();/' -else - nm -p $* | egrep 'T *__initialize_' | \ - sed -e 's/^.*T *_*\(.*\)/ _\1 ();/' -fi - -echo '}' |