shithub: oai

ref: 2385eae8d4de265c433778aa11f3fef391aaf62b
dir: /tools/gencode.awk/

View raw version 
#!/bin/awk -f

BEGIN{
	printf "#line 0 \"tools/%s\"\n", ENVIRON["file"]
}

$1 == "%%json" {
	convert = 1
	next
}

$1 == "%/json" {
	convert = 0
	next
}

{
	if (!convert) {
		print
		next
	}
	gsub(/"/, "\\\"")
	gsub(/^/, "\"")
	gsub(/$/, "\"")
	print
}