| drh | 3dcf39a | 2011-06-21 03:36:06 +0000 | [diff] [blame] | 1 | #!/usr/bin/awk |
| 2 | # | ||||
| 3 | # Convert input text into a C string | ||||
| 4 | # | ||||
| 5 | { | ||||
| drh | dc6ef98 | 2015-08-04 19:06:50 +0000 | [diff] [blame] | 6 | gsub(/\\/,"\\\\"); |
| drh | 3dcf39a | 2011-06-21 03:36:06 +0000 | [diff] [blame] | 7 | gsub(/\"/,"\\\""); |
| 8 | print "\"" $0 "\\n\""; | ||||
| 9 | } | ||||