diff mode.h @ 185:16b4451e34b8

Add the ability to output line numbers, sort of. It is enabled with the intentionally undocumented -p option (similar to -P but reversed sense) and it might be vaguely useful but only prints the line number when the file changes and may not get the line numbers right.
author David A. Holland
date Fri, 12 Jun 2015 03:59:36 -0400
parents 4c3375895c6e
children
line wrap: on
line diff
--- a/mode.h	Fri Jun 12 03:35:01 2015 -0400
+++ b/mode.h	Fri Jun 12 03:59:36 2015 -0400
@@ -37,6 +37,7 @@
 	bool do_stddef;
 	bool do_output;
 	bool output_linenumbers;
+	bool output_cheaplinenumbers;
 	bool output_retain_comments;
 	const char *output_file;
 	bool do_depend;