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