"Joseph S. Myers" <[EMAIL PROTECTED]> writes: > Per Bothner <[EMAIL PROTECTED]> writes: >> The general frustration is: where is dg-error documented? > > It ought to be in the dejagnu manual (i.e., that's where documentation > should best be contributed) since dg-error is part of base dejagnu.
There is decent documentation of the dg-* directives in comments at the top of $prefix/share/dejagnu/dg.exp, where $prefix refers to your dejagnu installation. I do agree with Joseph that this ought to be in the dejagnu manual. zw
