diff options
| author | root <root> | 2011-08-04 13:57:16 +0000 |
|---|---|---|
| committer | root <root> | 2011-08-04 13:57:16 +0000 |
| commit | 9f272e63333737fc6300a7e01633074ce35b8171 (patch) | |
| tree | 100a93830dd01311c7bd7b41b3f092cff80eaee3 /update_ev_c | |
| parent | d94a32259dae95c9ac3fd40503a637b1489c26aa (diff) | |
*** empty log message ***
Diffstat (limited to 'update_ev_c')
| -rwxr-xr-x | update_ev_c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/update_ev_c b/update_ev_c new file mode 100755 index 0000000..4541753 --- /dev/null +++ b/update_ev_c @@ -0,0 +1,8 @@ +#!/bin/sh -e + +( + sed -ne '1,\%/\* ECB.H BEGIN \*/%p' ev.c + cat ecb.h + sed -ne '\%/\* ECB.H END \*/%,$p' ev.c +) >ev.c~ && mv ev.c~ ev.c + |