From 1f35ffa018f9e870fa21d0ffbca15d99e23233de Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Wed, 24 Dec 2025 12:02:58 -0500 Subject: Remove unused script --- embed_file.sh | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100755 embed_file.sh (limited to 'embed_file.sh') 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 ";" } -' -- cgit v1.2.3