Hi Michael,

On Fri, May 16, 2014 at 12:03 PM, Michael Tautschnig <m...@debian.org> wrote:
> Package: gradm2
> Version: 3.0~201401282126-1
> Severity: wishlist
> Usertags: goto-cc
>
> During a rebuild of all packages in a clean sid chroot (and 
> cowbuilder+pbuilder)
> the build failed with the following error. Please note that we use our 
> research
> compiler tool-chain (using tools from the cbmc package), which permits 
> extended
> reporting on type inconsistencies at link time.
 May you give me some pointers? What's the architecture, is the build
log available somewhere? I've tried hard to reproduce this build
failure, but couldn't. It still builds fine in my clean and up-to-date
pbuilder chroot on amd64.

Thanks,
Laszlo/GCS


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to