Re: Please block chumley from building package cbmc
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
"chumley" :).
Adrian
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer - glaubitz@debian.org
`. `' Freie Universitaet Berlin - glaubitz@physik.fu-berlin.de
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
Reply to: