This is the mail archive of the
gdb@sourceware.org
mailing list for the GDB project.
Re: [ANNOUNCEMENT] GDB BuildBot
- From: Sergio Durigan Junior <sergiodj at redhat dot com>
- To: Mark Wielaard <mjw at redhat dot com>
- Cc: GDB Development <gdb at sourceware dot org>, Eli Zaretskii <eliz at gnu dot org>
- Date: Tue, 27 Jan 2015 11:42:09 -0500
- Subject: Re: [ANNOUNCEMENT] GDB BuildBot
- Authentication-results: sourceware.org; auth=none
- References: <87bnm1exo6 dot fsf at redhat dot com> <87lhkvd9u7 dot fsf at redhat dot com> <1422350653 dot 4858 dot 35 dot camel at bordewijk dot wildebeest dot org>
On Tuesday, January 27 2015, Mark Wielaard wrote:
> On Wed, 2015-01-21 at 17:53 -0500, Sergio Durigan Junior wrote:
>> First, thanks to Mark Wielaard for setting up a Debian Wheezy x86_64
>> machine as one of our buildslaves!
>
> BTW. I saw more spurious failures on this setup than on the other
> buildbot slaves. After lots of digging it turns out that all released
> versions of dejagnu have a bug that causes spurious fails in some cases
> on SMP machines...
>
> The patch to fix that was posted back in 2005, and was picked up by
> fedora in 2006. Which explains why I could reproduce it on my Fedora or
> RHEL setups. But at least Debian based distros don't have this patch
> yet, since it is not in the latest 1.5.1 dejagnu release yet.
>
> It is in upstream dejagnu git now:
> https://lists.gnu.org/archive/html/dejagnu/2011-03/msg00019.html
>
> Full writeup is in the Debian bug report:
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=776362
>
> If you are running a buildbot slave (or just make gdb-check) and run a
> machine with multiple cores you might want to check that you have the
> above patch applied to prevent some spurious FAILs.
Wow :-). Thanks for the investigation, Mark. It is probably worth
putting this info in the wiki:
<http://sourceware.org/gdb/wiki/BuildBot>. I will put it there later
(if you don't beat me to it).
Cheers,
--
Sergio
GPG key ID: 0x65FC5E36
Please send encrypted e-mail if possible
http://sergiodj.net/