diff options
| author | Pascal Obry <obry@adacore.com> | 2014-07-18 09:31:36 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-18 11:31:36 +0200 |
| commit | c3d01e19a33b26764c40d67e6f3f86efbd86b203 (patch) | |
| tree | 3cf048a2785ddc3db22b53a2e4094c9d31181a00 /gcc/ada/adaint.h | |
| parent | 6907542db49aa9d73dcfe4a991bac455b1818953 (diff) | |
| download | gcc-c3d01e19a33b26764c40d67e6f3f86efbd86b203.zip gcc-c3d01e19a33b26764c40d67e6f3f86efbd86b203.tar.gz gcc-c3d01e19a33b26764c40d67e6f3f86efbd86b203.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/adaint.h')
| -rw-r--r-- | gcc/ada/adaint.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/adaint.h b/gcc/ada/adaint.h index 3c3e476..f6b6f69 100644 --- a/gcc/ada/adaint.h +++ b/gcc/ada/adaint.h @@ -107,6 +107,8 @@ extern void __gnat_current_time_string (char *); extern void __gnat_to_gm_time (OS_Time *, int *, int *, int *, int *, int *, int *); +extern void __gnat_to_os_time (OS_Time *, int, int, int, + int, int, int); extern int __gnat_get_maximum_file_name_length (void); extern int __gnat_get_switches_case_sensitive (void); extern int __gnat_get_file_names_case_sensitive (void); |