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 9539a1e Avoid dependency on exit code from false(1) in dejagnu auxili [...] new cc4d2e4 Replace non-portable `basename | sed` with Awk in dejagnu launcher new 84c9039 Replace non-portable `grep -q` with shell "case" in dejagnu launcher new e2fa0bc Revise help system in dejagnu launcher to use Awk new 408cfae Remove experimental support for patching config.guess interpr [...] new d0f1049 Allow environment to specify a shell for running config.guess

The 5 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 | 23 +++++++++++++++++++++++ configure.ac | 20 -------------------- dejagnu | 42 ++++++++++++++++++++++++------------------ runtest.exp | 51 +++++++++++++++++++++++++++++++++++++++++++++------ 4 files changed, 92 insertions(+), 44 deletions(-)