diff options
author | root <root> | 2007-12-19 01:59:29 +0000 |
---|---|---|
committer | root <root> | 2007-12-19 01:59:29 +0000 |
commit | 065b91948ce4cb4043a4c915576eaaff624a199c (patch) | |
tree | 4cb26ef0bcbea1e530542bdfce24b43501fac6c0 /update_symbols | |
parent | 8f05d352659f0ea4f97f55ccfadfc322b72966bf (diff) |
add and document Symbol.* files
Diffstat (limited to 'update_symbols')
-rwxr-xr-x | update_symbols | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/update_symbols b/update_symbols new file mode 100755 index 0000000..a1a1cb3 --- /dev/null +++ b/update_symbols @@ -0,0 +1,7 @@ +#!/bin/sh + +make ev.o event.o || exit + +nm ev.o | perl -ne 'print "$1\n" if /\S+ [A-Z] (\S+)/' > Symbols.ev +nm event.o | perl -ne 'print "$1\n" if /\S+ [A-Z] (\S+)/' > Symbols.event + |