Re: [tim-3] Improved DJGPP support in src/files.c

[Akim Demaille]

>>>>> "Paul" == Paul Eggert <address@hidden> writes:

>> const char *basename_const (const char *name);
>> 
>> and
>> 
>> char *basename (const char *name);

Paul> I'm not sure that's a good idea.  Lots of C functions have this
Paul> problem (for example, strchr), and it seems a bit overkill to
Paul> have two copies of each one of them just to quiet a GCC warning.

Very much agreed.  We do have a consistency problem between C ot1h,
and type checking otoh.  I'm not willing to struggle about it, C is
dead in this respect.

Paul> I think I'd rather just accept the extra cast as a deficiency of
Paul> C and move on.

I was motivated by the fact that since Bison --with-gcc-warnings dies
on warnings (-Werror), so I was trying to have this warning killed.

I just removed this flag for lib/, that's enough.

Thanks.