Bug#746766: Conflicting declarations of function trig_file_activate

2014-05-03 Thread Michael Tautschnig
Package: dpkg Version: 1.17.9 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

Bug#746766: Conflicting declarations of function trig_file_activate

2014-05-03 Thread Guillem Jover
Control: severity -1 wishlist Control: retitle -1 dpkg: Please refactor code to make filenamenode usage less confusing Hi! On Sat, 2014-05-03 at 13:49:29 +0200, Michael Tautschnig wrote: Package: dpkg Version: 1.17.9 Usertags: goto-cc […] While this appears to be consistent, struct