shithub: oai

ref: 09836b88b3d499cc89fa7d22e8ff4bf4b5913cac
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
}