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
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
