Commitf008976

committed

More updates for GNU indent.

1 parent58df3f7 commitf008976Copy full SHA for f008976

File tree

-3

lines changed

-3

lines changed

Lines changed: 2 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -17,8 +17,8 @@ for the second bug in:`
`17`	`17`	`Even with the workaround, installation of the patch produces better`
`18`	`18`	`output.`
`19`	`19`
`20`		`-GNU indent, version1.9.1, has severalbugs, and is not recommended.`
`21`		`-These bugs become pretty major when you are doing >200k lines of code.`
	`20`	`+GNU indent, version2.2.6, has severalproblems, and is not recommended.`
	`21`	`+These bugs become pretty major when you are doing >400k lines of code.`
`22`	`22`	`If you don't believe me, take a directory and make a copy. Run pgindent`
`23`	`23`	`on the copy using GNU indent, and do a diff -r. You will see what I`
`24`	`24`	`mean. GNU indent does some things better, but mangles too.`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ thenecho "Go to the src/tools/entab directory and do a 'make' and 'make install`
`15`	`15`	`exit 1`
`16`	`16`	`fi`
`17`	`17`	`indent -version</dev/null>/dev/null2>&1`
`18`		`-if ["$?"-eq 0 ]`
	`18`	`+if ["$?"-ne 1 ]`
`19`	`19`	`thenecho"You do not appear to have 'indent' installed on your system.">&2`
`20`	`20`	`exit 1`
`21`	`21`	`fi`

Comments

(0)