1 : Check externals differ over first 7 chars
2 : Steven Pemberton, CWI, Amsterdam, steven@mcvax
4 0) echo Usage: $0 executable-files ... ; exit 1;;
8 trap 'rm -f /tmp/lim1.$$ /tmp/lim2.$$; exit 1' 1 2 15
11 nm -g $f | sed "s/^............//" >/tmp/lim1.$$
12 sed "s/^\(.......\).*/\1/" </tmp/lim1.$$ | uniq -d | sed "s/.*/grep \"^&\" \/tmp\/lim1.$$/" >/tmp/lim2.$$
13 if test -s /tmp/lim2.$$
19 rm -f /tmp/lim1.$$ /tmp/lim2.$$