1 files changed, 8 insertions, 0 deletions
diff --git a/tool/tostr.awk b/tool/tostr.awk
new file mode 100644
index 0000000..b4f48d3
--- /dev/null
+++ b/tool/tostr.awk
@@ -0,0 +1,8 @@
+#!/usr/bin/awk
+#
+# Convert input text into a C string
+#
+{
+  gsub(/\"/,"\\\"");
+  print "\"" $0 "\\n\"";
+}