On Mon, Nov 03, 2014 at 04:21:53PM +0000, Terje Frøysa wrote:
> Thanks again for your quick replies :-)
>
> Yes, I have the files in question in the /usr/include directory.
>
> debian@beaglebone:/usr/include$ ls -l st*
> :
> -rw-r--r-- 1 root root 8536 Oct 17 02:40 stdint.h
> -rw-r--r-- 1 root root 31525 Oct 17 02:41 stdio.h
> -rw-r--r-- 1 root root 2873 Oct 17 02:40 stdio_ext.h
> -rw-r--r-- 1 root root 34254 Oct 17 02:40 stdlib.h
> -rw-r--r-- 1 root root 22612 Oct 17 02:41 string.h
> :
>
> The time.h refers the clockid_t, but no file in the /usr/include (and
> subdirectories) holds a definition.
>
> The types.h file defines the __clockid_t, but I can't find the 'clockid_t'
> defined anywhere:
>
> /* Clock ID used in clock and timer functions. */
> __STD_TYPE __CLOCKID_T_TYPE __clockid_t;
This is normally defined in /usr/include/time.h
#if !defined __clockid_t_defined && \
((defined _TIME_H && defined __USE_POSIX199309) || defined __need_clockid_t)
# define __clockid_t_defined 1
# include <bits/types.h>
/* Clock ID used in clock and timer functions. */
typedef __clockid_t clockid_t;
#endif /* clockid_t not defined and <time.h> or need clockid_t. */
#undef __clockid_time_t
And xenomai's time.h does #include_next <time.h> which should
include that file and get the definition.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
