From 961d55b955d0a1526ebb7a5ddca8acee50b8ab1a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 13 May 2015 05:41:20 +0200
Subject: Remove Get_File_Time_Stamp for a filename.

Preliminary work for ticket 48.
---
 src/files_map.adb | 17 +----------------
 1 file changed, 1 insertion(+), 16 deletions(-)

(limited to 'src/files_map.adb')

diff --git a/src/files_map.adb b/src/files_map.adb
index 94ce9cb3a..ece6e125c 100644
--- a/src/files_map.adb
+++ b/src/files_map.adb
@@ -15,6 +15,7 @@
 --  along with GHDL; see the file COPYING.  If not, write to the Free
 --  Software Foundation, 59 Temple Place - Suite 330, Boston, MA
 --  02111-1307, USA.
+with System;
 with Interfaces.C;
 with Ada.Characters.Latin_1;
 with Ada.Text_IO; use Ada.Text_IO;
@@ -462,22 +463,6 @@ package body Files_Map is
       return Res;
    end Os_Time_To_Time_Stamp_Id;
 
-   function Get_File_Time_Stamp (Filename : System.Address)
-     return Time_Stamp_Id
-   is
-      use GNAT.OS_Lib;
-      Fd : File_Descriptor;
-      Res : Time_Stamp_Id;
-   begin
-      Fd := Open_Read (Filename, Binary);
-      if Fd = Invalid_FD then
-         return Null_Time_Stamp;
-      end if;
-      Res :=  Os_Time_To_Time_Stamp_Id (File_Time_Stamp (Fd));
-      Close (Fd);
-      return Res;
-   end Get_File_Time_Stamp;
-
    function Get_File_Time_Stamp (FD : GNAT.OS_Lib.File_Descriptor)
                                 return Time_Stamp_Id
    is
-- 
cgit v1.2.3