Re: PATCH: add dejagnu(1) multi-launcher [revised] [supplemental patch: dejagnu]

Ben Elliston <[email protected]> Thu, 20 Dec 2018 20:47:26 +1100

Newsgroups	gmane.comp.sysutils.dejagnu.general
Message-ID	<20181220094726.GA14991@bapbop>

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

(unnamed) (text/plain, 171 B)

On Thu, Dec 20, 2018 at 03:23:46AM -0600, Jacob Bachmeyer wrote:

> It works here... looks like a portability problem... what shell is your
> /bin/sh?

dash.

Thanks,
Ben

signature.asc (application/pgp-signature, 833 B)

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

iQIzBAABCgAdFiEEFS8+rdM1/2KWERKFZ9rcPj90NkkFAlwbZSwACgkQZ9rcPj90
NkmJFg//RIka8XLNxIdAxZ/KKM0THclefB1J8CLyPxvqSIMjJgUBE51Hu3Mg7gE2
/fR3Q3oU0HDql71JpkcafUIfn3glZvFe8pg6gLCWJWMp99QmGGWD7qLKS/jy2e0c
/Hau2jra4gaAT0FJICOYGv3LCnvTuGiOFUGDNlBHW9LC3aNntEuYWpI21WOGQ+HE
ilwdA54DNR5yX4t41Vcm38zopsXJNiMEL9RCYiuBiweYoQlHkkQff3d6SeyoRkGT
t8Fi3QcjJogOsPhci0th/DK8D4ZnkKZaBfXAS84IPB2MhcqXIXT7kztJm+/GNWen
J20vNd66QwYLBzv27gKPaoCRczkRCBj9UO7oWdsxj+t4GrCnJLWoV898RM73IFof
W3paDpsr5B1c7zasxDqZv+SXgUGueWczIRz36HLT31xpRf+Nbt/qqdLlPbTMgmgL
/UC53vkgDg0euPbG8o5+Z1n39Majy5i4Is0S5E9jKD/lljTaDdSr80nRuO7mvLHq
X0Ae2I2JpnUxumJ/MZdDx0ImLI0P72gwLghYtMPsUdw/Pexilh8/fAtmBTLcThTr
kdlpes41PWXl2TCC/7xcwtzwrRnS8WDmLWClo4HqSUr5+zNld6DAdI0IMJLPc86K
N+tYnrfBz6ty+AUlH/uiB+WIGQMJPBd1D2KeT1wjo8pTrpMMz84=
=LUeQ
-----END PGP SIGNATURE-----

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.