diff options
Diffstat (limited to 'filter/inc.sed')
-rwxr-xr-x | filter/inc.sed | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/filter/inc.sed b/filter/inc.sed new file mode 100755 index 0000000..5318ca2 --- /dev/null +++ b/filter/inc.sed @@ -0,0 +1,13 @@ +: +NAME="$1" +sed ' +1i\ +static char *XXXX="\\n + +s#/\*.*\*/##g +s/"/\\"/g +s/\\n/\\\\n/g +s/$/\\n/ +$a\ +\" +' | sed "s/XXXX/$NAME/" | awk '{printf("%s", $0)};END{printf(";\n")}' |