On Mon, Mar 07, 2016 at 05:16:12PM +0700, Rob Savoye wrote: > I'll look into this, not sure if anyone else but Linaro is doing > multiple builds in parallel. I think I lean towards the "/tmp/pid/" > solution. I don't believe this would break anything else, but would > of course want to make the change and try it.
I think /tmp/pid/ is clean enough. Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
