diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-12-24 12:02:58 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-12-24 12:02:58 -0500 |
| commit | 1f35ffa018f9e870fa21d0ffbca15d99e23233de (patch) | |
| tree | 50818d2c69391ab241418fbea617c700e583bc58 | |
| parent | 7d09323e379c3ce1ac5c476a09b4409f90d3a33d (diff) | |
Remove unused script
| -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 ";" } -' |