diff options
| author | Tristan Gingold <tgingold@free.fr> | 2014-01-02 00:44:10 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2014-01-02 00:44:10 +0100 |
| commit | 281e8b18530bf7284447cf6950be0f50db50df5b (patch) | |
| tree | 84afd9735773b743f6c4178ff6cd08b699f0575a /files_map.ads | |
| parent | ae1991ad1858c272b63c78521d9a78f49ad0f212 (diff) | |
| download | ghdl-281e8b18530bf7284447cf6950be0f50db50df5b.tar.gz ghdl-281e8b18530bf7284447cf6950be0f50db50df5b.tar.bz2 ghdl-281e8b18530bf7284447cf6950be0f50db50df5b.zip | |
Use GNAT.OS_Lib.Is_Absolute_Path (for Windows).
Diffstat (limited to 'files_map.ads')
| -rw-r--r-- | files_map.ads | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/files_map.ads b/files_map.ads index a8bd64616..999e23d5d 100644 --- a/files_map.ads +++ b/files_map.ads @@ -84,9 +84,6 @@ package Files_Map is -- Get the path of directory DIR. --function Get_Directory_Path (Dir : Directory_Index) return String; - -- Return TRUE is PATH is an absolute pathname. - function Is_Absolute_Pathname (Path : String) return Boolean; - -- Add a new entry in the lines_table. -- The new entry must be the next one after the last entry. procedure File_Add_Line_Number |