diff options
author | Tristan Gingold <tgingold@free.fr> | 2018-01-18 20:27:02 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2018-01-18 20:27:02 +0100 |
commit | 6e45f40a47afe5fd25254d3730a6f73256879a17 (patch) | |
tree | 71bd250832427d69e85d79b2de9a5404ec23d799 /src/files_map.ads | |
parent | c257d0fa8da01df60c993a95aba44cbafd68ac69 (diff) | |
download | ghdl-6e45f40a47afe5fd25254d3730a6f73256879a17.tar.gz ghdl-6e45f40a47afe5fd25254d3730a6f73256879a17.tar.bz2 ghdl-6e45f40a47afe5fd25254d3730a6f73256879a17.zip |
files_map: get rid of global Nam_Buffer use.
Diffstat (limited to 'src/files_map.ads')
-rw-r--r-- | src/files_map.ads | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index b6054c906..f09e5b6e0 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -32,9 +32,7 @@ package Files_Map is -- Create the path from DIRECTORY and NAME: -- If NAME is an absolute pathname, then return NAME. -- Otherwise, return the concatenation of DIRECTORY and NAME. - -- If ADD_NUL is TRUE, then a trailing '\0' is appended. - function Get_Pathname - (Directory : Name_Id; Name : Name_Id; Add_Nul : Boolean) return String; + function Get_Pathname (Directory : Name_Id; Name : Name_Id) return String; -- If NAME contains a directory separator, move it to the DIRECTORY name. -- At the return point, NAME has no directory components. |