s-os_lib.ads, [...] (GM_Time_Of): New routine to create an OS_Time from time parts.
authorPascal Obry <obry@adacore.com>
Fri, 18 Jul 2014 09:31:36 +0000 (09:31 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 18 Jul 2014 09:31:36 +0000 (11:31 +0200)
commitc3d01e19a33b26764c40d67e6f3f86efbd86b203
tree3cf048a2785ddc3db22b53a2e4094c9d31181a00
parent6907542db49aa9d73dcfe4a991bac455b1818953
s-os_lib.ads, [...] (GM_Time_Of): New routine to create an OS_Time from time parts.

2014-07-18  Pascal Obry  <obry@adacore.com>

* s-os_lib.ads, s-os_lib.adb (GM_Time_Of): New routine to create an
OS_Time from time parts.
* adaint.h, adaint.c (__gnat_to_os_time): New routine.

From-SVN: r212788
gcc/ada/ChangeLog
gcc/ada/adaint.c
gcc/ada/adaint.h
gcc/ada/s-os_lib.adb
gcc/ada/s-os_lib.ads