g-os_lib.ads (Current_Time): New function.
authorPascal Obry <obry@adacore.com>
Fri, 6 Apr 2007 09:16:52 +0000 (11:16 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 6 Apr 2007 09:16:52 +0000 (11:16 +0200)
commit320ae22ae0b8d417adf8da52e195eb9aaa026688
treeb05c927f2fb13827bb29728a55d2c06716d3d7c7
parent2c851ddd1c40ec8c1adf8e92ce830e5e22b4a267
g-os_lib.ads (Current_Time): New function.

2007-04-06  Pascal Obry  <obry@adacore.com>
    Thomas Quinot  <quinot@adacore.com>

* g-os_lib.ads (Current_Time): New function. Returns the current
system time as an OS_Time value.

* s-osprim.ads (Clock): Add more precise definition of UNIX epoch.
(Monotonic_Clock): Same.

From-SVN: r123547
gcc/ada/g-os_lib.ads
gcc/ada/s-osprim.ads