diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-14 14:58:07 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-14 14:58:07 +0200 |
| commit | e4691ba99bff054f10be59543a6571fdbabbb427 (patch) | |
| tree | 0da9ae3cf125fe15279d8fbab380186d017f8e4e /gcc/ada/lib-writ.adb | |
| parent | 0a387eca30eaf0766b8de644dd61bf9cadbbf21d (diff) | |
| download | gcc-e4691ba99bff054f10be59543a6571fdbabbb427.zip gcc-e4691ba99bff054f10be59543a6571fdbabbb427.tar.gz gcc-e4691ba99bff054f10be59543a6571fdbabbb427.tar.bz2 | |
[multiple changes]
2013-10-14 Robert Dewar <dewar@adacore.com>
* exp_prag.adb, sem_prag.adb, a-exexda.adb, s-vmexta.ads: Minor
reformatting.
2013-10-14 Vincent Celier <celier@adacore.com>
* ali.adb (Get_File_Name): New Boolean parameter May_Be_Quoted,
defaulted to False. Calls Get_Name with May_Be_Quoted.
(Get_Name): New Boolean parameter May_Be_Quoted, defaulted to
False. If May_Be_Quoted is True and first non blank charater is
'"', unquote the name.
(Scan_ALI): For the file/path name on the D line, call Get_File_Name
with May_Be_Quoted = True, as it may have been quoted.
* lib-util.adb, lib-util.ads (Write_Info_Name_May_Be_Quoted): New
procedure to write file/path names that may contain spaces and if they
do are quoted.
* lib-writ.adb (Write_ALI): Use new procedure
Write_Info_Name_May_Be_Quoted to write file/path names on D lines.
From-SVN: r203534
Diffstat (limited to 'gcc/ada/lib-writ.adb')
| -rw-r--r-- | gcc/ada/lib-writ.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/lib-writ.adb b/gcc/ada/lib-writ.adb index c4b5e50..cb5278c 100644 --- a/gcc/ada/lib-writ.adb +++ b/gcc/ada/lib-writ.adb @@ -1428,7 +1428,7 @@ package body Lib.Writ is Fname := Name_Find; end if; - Write_Info_Name (Fname); + Write_Info_Name_May_Be_Quoted (Fname); Write_Info_Tab (25); Write_Info_Str (String (Time_Stamp (Sind))); Write_Info_Char (' '); |