diff options
| -rwxr-xr-x | embed_file.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/embed_file.sh b/embed_file.sh new file mode 100755 index 00000000..503fee80 --- /dev/null +++ b/embed_file.sh @@ -0,0 +1,10 @@ +#/bin/sh +awk ' + BEGIN { printf "const char *'$1' = " } + { + gsub(/\\/,"\\\\"); + gsub(/"/,"\\\""); + printf "\"%s\\n\"\n", $0 + } + END { print ";" } +' |