diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-12-24 12:03:14 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-12-24 12:03:14 -0500 |
| commit | aca6fcde27cd093e91acc371b79ad2a5aa06f1c7 (patch) | |
| tree | f6cc7dc844d5007608feb302f9b1ac2ca7fee312 | |
| parent | f41b836b772ca8a4d3a5c824e2d5a6c90bb5e5ff (diff) | |
| parent | 1f35ffa018f9e870fa21d0ffbca15d99e23233de (diff) | |
Merge branch 'dev' into static-dependencies
| -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 ";" } -' |