Package: cook
Version: 2.33-1
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.

[...]
/usr/bin/make sure
make[1]: Entering directory 
'/srv/jenkins-slave/workspace/sid-goto-cc-cook/cook-2.33'
CC="gcc" /bin/sh test/00/t0001a.sh
[...]
CC="gcc" /bin/sh test/00/t0048a.sh
FAILED test of the include-cooked functionality
Makefile:4282: recipe for target 't0048a' failed
make[1]: *** [t0048a] Error 1

Reviewing the source code generated by t0048a.sh, it seems the return type of
the function "test" isn't declared, and the implicit return type would be "int,"
which conflicts with the declaration as void () in the generated header file:

http://sources.debian.net/src/cook/2.33-1/test/00/t0048a.sh?hl=100,108#L100

Adding a "void" in line 100 should suffice to address this issue. (As a wish
list item: it would be great if the build process were more verbose in case of
failing tests.)

Best,
Michael

Attachment: pgp0TVFy12NDK.pgp
Description: PGP signature

Reply via email to