On Mon, Nov 18, 2013 at 6:17 AM, Arnaud Charlet <char...@adacore.com> wrote:
>> > >> > type timespec is record >> > tv_sec : time_t; >> > - tv_nsec : long; >> > + tv_nsec : time_t; >> > end record; >> > pragma Convention (C, timespec); >> > >> > But I'd rather settle on which type is appropriate for the tv_nsec >> > field before making this change. >> > >> >> __syscall_slong_t is a Linux specific type. We >> can add tv_nsec_t, which should be the same >> as time_t for all the current targets. > > Introducing tv_nsec_t looks reasonable to me. > Can you make the change? Thanks. -- H.J.