projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b61231) | patch
[Ada] Improve precision of Ada.Directories.Modification_Time
authorDmitriy Anisimkov <anisimko@adacore.com>
Mon, 3 Aug 2020 06:18:20 +0000 (12:18 +0600)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 21 Oct 2020 07:22:46 +0000 (03:22 -0400)
commit948c6d7e9e60ef8e1324bfed6d8d937112bef53d
tree51081b2563e9c596fb544ef368107c495e64dc49tree
parent3b612313b6e67dd01159cd8ceeafeac9f9e6dd04commit | diff
[Ada] Improve precision of Ada.Directories.Modification_Time

gcc/ada/

* adaint.c (__gnat_file_time): New routine.
(__gnat_copy_attribs): Copy timestamps in nanoseconds.
* libgnat/a-direct.adb (C_Modification_Time): Bind to
__gnat_file_time.
(Modification_Time): Call to C_Modification_Time.
gcc/ada/adaint.c diff | blob | history
gcc/ada/libgnat/a-direct.adb diff | blob | history