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_ev_wrap | |
| parent | 8f05d352659f0ea4f97f55ccfadfc322b72966bf (diff) | |
add and document Symbol.* files
Diffstat (limited to 'update_ev_wrap')
| -rwxr-xr-x | update_ev_wrap | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_ev_wrap b/update_ev_wrap index 30ebb4f..6e43069 100755 --- a/update_ev_wrap +++ b/update_ev_wrap @@ -7,4 +7,4 @@ ) | cc -E -o - - | sed -n -e 's/define/#define/p' | ( echo "/* DO NOT EDIT, automatically generated by update_ev_wrap */" cat -) | tee ev_wrap.h +) > ev_wrap.h |