Google Git
Sign in
gnu/dejagnu/9673505b54f1f2017f4dae7a2b972503e687f04c
commit
9673505b54f1f2017f4dae7a2b972503e687f04c
[log]
author
Jacob Bachmeyer <jcb@gnu.org>
Wed May 19 00:19:20 2021 -0500
committer
Jacob Bachmeyer <jcb@gnu.org>
Wed May 19 00:19:20 2021 -0500
tree
f38599d620fe03f2bb719fed453cf91d921a0d0c
parent
0bab163959ff64d788bbdbd1c8719c44c9d4c95a [diff]
Replace non-portable Awk code in dejagnu auxiliary launcher
2 files changed
tree: f38599d620fe03f2bb719fed453cf91d921a0d0c
  1. baseboards/
  2. commands/
  3. config/
  4. contrib/
  5. doc/
  6. lib/
  7. testsuite/
  8. .dir-locals.el
  9. .gitignore
  10. aclocal.m4
  11. AUTHORS
  12. autogen.sh
  13. ChangeLog
  14. ChangeLog-1992
  15. compile
  16. config.guess
  17. config.sub
  18. configure
  19. configure.ac
  20. COPYING
  21. dejagnu
  22. dejagnu.h
  23. depcomp
  24. INSTALL
  25. install-sh
  26. MAINTAINERS
  27. Makefile.am
  28. Makefile.in
  29. mdate-sh
  30. missing
  31. NEWS
  32. README
  33. runtest
  34. runtest.exp
  35. stub-loader.c
  36. testglue.c
  37. TODO