Christian T. Steigies dixit:
>I would not know how to blacklist one package one a buildd, but I guess it
>will not pick it up again in the near future.
I think it was something in ~buildd/.builddrc… I vaguely
recall there being something mentioned about it being
recommended to block e.g. libreoff
Hi Christian, All,
[...]
> Anyhow, why is it inconsistent? The build has failed due to some tests:
>
> Tests failed
> 2 of 342 tests failed, 21 tests skipped
> Failed test: Function_Pointer7
> CBMC version 5.0 32-bit linux
> Parsing main.c
> Converting
> Type-checking main
> file main.c line 22
On Mon, Feb 16, 2015 at 11:40:33AM +0100, John Paul Adrian Glaubitz wrote:
> On 02/16/2015 09:14 AM, Michael Tautschnig wrote:
> >Would it be possible to blacklist cbmc on the host chumley?
> ^^^
> Looks like Christian hasn't fixed his buildd
On 02/16/2015 09:14 AM, Michael Tautschnig wrote:
Would it be possible to blacklist cbmc on the host chumley?
^^^
Looks like Christian hasn't fixed his buildd configuration and
make sure the name used here is actually "crest" and not
"chum
Dear m68k buildd maintainers,
Would it be possible to blacklist cbmc on the host chumley? It seems that 1)
building takes ~10 times longer and 2) it fails with inconsistent error
messages.
Here's the overview:
http://buildd.debian-ports.org/status/logs.php?pkg=cbmc&arch=m68k
Once that block is
5 matches
Mail list logo
