| commit | 84c903914b49e5051f116b7a1512ee6d962d71bc | |
| author | Jacob Bachmeyer <jcb@gnu.org> | |
| Fri, 16 Apr 2021 21:28:43 +0000 (16 16:28 -0500) | ||
| committer | Jacob Bachmeyer <jcb@gnu.org> | |
| Fri, 16 Apr 2021 21:28:43 +0000 (16 16:28 -0500) | ||
| tree | 0a9ea61a146f4f6bf6bcd4ba9555f2268b98fe24 | treesnapshot (tar.gz zip) |
| parent | cc4d2e41f5d72be55e2b506f45fa052e1b3d410b | commitdiff |
Replace non-portable `grep -q` with shell "case" in dejagnu launcher
| ChangeLog | diffblobblamehistory | |
| dejagnu | diffblobblamehistory |