Re: PATCH: add dejagnu(1) multi-launcher

On Tue, Dec 18, 2018 at 06:52:58PM -0600, Jacob Bachmeyer wrote:

> That is what makes it "fun" -- I am not entirely certain what is in
> POSIX sh and what is a Bash-specific extension, so I tend to "follow
> suit" on this codebase and presume that the existing code is the way
> it is for a reason not known to me.

I refer to the POSIX specification here:

http://pubs.opengroup.org/onlinepubs/009695399/utilities/xcu_chap02.html

Conversely, the Bash man page should explain what is and is not a Bash
extension.

Sometimes it is true that things are the way they are for a reason,
but some of those reasons are now 25 years old. I really don't mind
the idea that the next version of DejaGnu might not run on Ultrix. :)

Cheers, Ben

_______________________________________________
DejaGnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/dejagnu

-----BEGIN PGP SIGNATURE-----

iQIzBAABCgAdFiEEFS8+rdM1/2KWERKFZ9rcPj90NkkFAlwZl6QACgkQZ9rcPj90
NkmsDA/9FOryBdKBkLWqqCrsr0wU6aTus4/B9F9ft/6jwouC8XdMt9mS2lKNlchU
l3wW9G0NmiRVzIYJrhvr+SJElKJVfFR6z+Bk+z6IcP30+3R3j3BLwoOQ8CU9+cUr
vQzuRC6wyorOpC0E52Q8i2I1p0tpFc+xDZbKp6kaJd7N3dl1xs9iUiBqAvXQXuLX
1obg+QNrVPU91gvkn7DHSxfSh1LskFimRN5BE/USEEHTmDoVKxau7Alv+OFE9jS3
AcuJSvQOf2AiGPuJubXErcyYGrPbLER2rTTALmQrHmC/J/1sFFI1uT51CNqIYy3Q
WUGCslTfUqYR4xmya8Ms/EH34CPCukVTbfd1y+Nzzso1WFZyAX0gWI6UbGXyFVbY
Zll+PoB1uUt1ZaPcWQ0TkPuxcBmil7OhDU8b0aWZWu3p31uP7VowFpgWSIxgfZEi
NKTJY7h2lvZL0nV87NllnXkWkd6gQ7UUDwU33RDC6OKnRCPnkq4ak3HXjyXC4RVQ
mGQk5lgEhn64jBYBTpmYORQTIaWFJuBuLVAHYWiwaoInVHSlGmuQxYiHX17H1mNq
fkWiirS3FYzLr4E8XFqmqJl7E+D3ah2CwHlKf5HeKiz+ukrov+Dc45wW5rgN7wjI
5ZWQGFMdWT5Y5Y6UyPC6aGENXrM4aj9BImenq53MxGToa6ydhHU=
=5bqQ
-----END PGP SIGNATURE-----