On 24.05.2014 18:52, Michael Tautschnig wrote: > Hi Markus, > > [...] >> Is there an easy way to reproduce this issue within a cowbuilder >> environment, perhaps a step-by-step guide to use your cbmc package? I >> just want to make sure that the patch actually works before I forward it >> upstream. >> > > I did give a brief guide here: > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=747585#15 > > But please do not hesitate to send the patch to myself, I'll be more than > happy > to re-run the build with the patch to confirm it fixes the issue.
Hi Michael, I have changed the type from void to int. I hope this addresses the issue properly. The patch is attached. Regards, Markus
From: Markus Koschany <a...@gambaru.de> Date: Sat, 24 May 2014 20:49:53 +0200 Subject: conflicting function declarations Bug: https://bugs.debian.org/749161 --- src/file.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/file.c b/src/file.c index e399ec8..b182a29 100644 --- a/src/file.c +++ b/src/file.c @@ -227,7 +227,7 @@ List* dir_get_entries( const char *path, const char *root, const char *ext ) #ifdef TESTFILE int map_w, map_h; /* shut up linker in misc.c */ -void char_width() {} +int char_width() {} void parser_get_string() {} int main( int argc, char **argv )
signature.asc
Description: OpenPGP digital signature