[Manual] Add new option

john-h-kastner · john-h-kastner · commit 2fb01f452b04 · 2021-10-04T14:24:58.000-04:00
diff --git a/convert_all.sh b/convert_all.sh
@@ -1 +1 @@
-3c -alltypes -warn-root-cause -output-dir=out ./to_ppm.c -- -I ./include
+3c -alltypes -warn-root-cause -output-dir=out ./to_ppm.c  -infer-types-for-undefs -- -I ./include

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-3c -alltypes -warn-root-cause -output-dir=out ./to_ppm.c -- -I ./include`
	`1`	`+3c -alltypes -warn-root-cause -output-dir=out ./to_ppm.c -infer-types-for-undefs -- -I ./include`