On 07/31/2011 07:42 PM, Jan Kiszka wrote:
> On 2011-07-31 19:21, Gilles Chanteperdrix wrote:
>> On 07/31/2011 06:49 PM, GIT version control wrote:
>>> +int rt_puts(const char *s)
>>> +{
>>> +   return print_to_buffer(stdout, 0, RT_PRINT_MODE_PUTS, s, NULL);
>>> +}
>>
>> gcc for ARM chokes here: it says that NULL can not be converted to a
>> va_list, however I try it.
> 
> Hmm. Does this work?
> 
> diff --git a/src/skins/common/rt_print.c b/src/skins/common/rt_print.c
> index 186de48..52538d8 100644
> --- a/src/skins/common/rt_print.c
> +++ b/src/skins/common/rt_print.c
> @@ -243,7 +243,9 @@ int rt_printf(const char *format, ...)
> 
>  int rt_puts(const char *s)
>  {
> -     return print_to_buffer(stdout, 0, RT_PRINT_MODE_PUTS, s, NULL);
> +     va_list dummy;
> +
> +     return print_to_buffer(stdout, 0, RT_PRINT_MODE_PUTS, s, dummy);
>  }
> 
>  void rt_syslog(int priority, const char *format, ...)
> 
> 
> Not really beautiful as well, I know.

It seems to work now, but some later version of gcc may decide to warn
us that this argument is used without being initialized...

-- 
                                                                Gilles.

_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to