[Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-721-g33f82a7

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "DejaGNU". The branch, master has been updated via 33f82a77ef49cfa5133917ee629ed599f7893a89 (commit) via d49522b6046fa1c57b6d

Re: [Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-721-g33f82a7

On 7/6/20 1:59 PM, Rob Savoye wrote: Note this requires a global site.exp file to specify connectivity details for a remote Raspberry PI, but defaults to "pi". The QEMU support should work but needs "qemu", which is set in the site.exp file. Your target_list should be "qemu". > Summary of chang

[Dejagnu-commit] [SCM] DejaGNU branch, queue, deleted. dejagnu_1_4_3-745-gf5fccbc

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "DejaGNU". The branch, queue has been deleted was f5fccbc833dec811ba40f39d85af1ed9bef05165 -

[Dejagnu-commit] [SCM] DejaGNU branch, queue, created. dejagnu_1_4_3-755-g5d954c5

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "DejaGNU". The branch, queue has been created at 5d954c5ad5f178eb096b93a301f0bd3a08d47ab3 (commit) - Log --