11 lines
474 B
Bash
Executable File
11 lines
474 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# This is the rule from the end of Makefile, with $* instead of $^ on the
|
|
# first line, and $ instead of $$ on the other lines, but otherwise identical.
|
|
# (Which is why the indentation is weird!)
|
|
|
|
files="$*" ; \
|
|
for s in `grep -B 3 '\<dlsym' $files | sed -n '/snprintf/{s:.*"\([^"]*\)".*:\1:;s:%s::;p}'` ; do \
|
|
sed -n '/'$s'[^ ]* =/{s:.* \([^ ]*'$s'[^ ]*\) .*:extern char \1[] __attribute__((weak)); if (!strcmp(sym, "\1")) return \1;:;p}' $files ; \
|
|
done
|