This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "DejaGNU".
The branch, dejagnu-1.6.3 has been updated
via d0f104991b9e6134f04bc674af115bc288c9e137 (commit)
via 408cfae9ecf4ec3a586fc50a31a8f05a218b004d (commit)
via e2fa0bcf54e2bb05106be1ce22a73de4f7381444 (commit)
via 84c903914b49e5051f116b7a1512ee6d962d71bc (commit)
via cc4d2e41f5d72be55e2b506f45fa052e1b3d410b (commit)
from 9539a1e2ffe8506b92bfcb4363c767e4bc6a0700 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit d0f104991b9e6134f04bc674af115bc288c9e137
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Fri Apr 16 16:34:56 2021 -0500
Allow environment to specify a shell for running config.guess
commit 408cfae9ecf4ec3a586fc50a31a8f05a218b004d
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Fri Apr 16 16:30:52 2021 -0500
Remove experimental support for patching config.guess interpreter line
commit e2fa0bcf54e2bb05106be1ce22a73de4f7381444
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Fri Apr 16 16:29:55 2021 -0500
Revise help system in dejagnu launcher to use Awk
commit 84c903914b49e5051f116b7a1512ee6d962d71bc
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Fri Apr 16 16:28:43 2021 -0500
Replace non-portable `grep -q` with shell "case" in dejagnu launcher
commit cc4d2e41f5d72be55e2b506f45fa052e1b3d410b
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Fri Apr 16 16:27:16 2021 -0500
Replace non-portable `basename | sed` with Awk in dejagnu launcher
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 23 +++++++++++++++++++++++
configure.ac | 20 --------------------
dejagnu | 42 ++++++++++++++++++++++++------------------
runtest.exp | 51 +++++++++++++++++++++++++++++++++++++++++++++------
4 files changed, 92 insertions(+), 44 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
