This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch dejagnu-1.6.3 in repository dejagnu.

from bda78c6 Regenerate build system files new ea96425 Revise usage messages to better fit GNU conventions new c356605 Clean up another non-portable shell construct in runtest launcher new 40c351f Rework declaration of "Variants" list in dejagnu launcher

The 3 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.

Summary of changes: ChangeLog | 18 ++++++++++++++++++ commands/help.sh | 2 +- commands/report-card.awk | 6 +++--- dejagnu | 5 +++-- runtest | 2 +- 5 files changed, 26 insertions(+), 7 deletions(-)