diff options
author | Xiretza | 2020-05-24 14:59:16 +0200 |
---|---|---|
committer | Xiretza | 2020-05-24 15:36:47 +0200 |
commit | 18660f545cf4b9dd39b9e4e87a7b9f12206f4499 (patch) | |
tree | 74433ccf234542ba25d7980070eec803e104dec0 /0001-Use-GPR.Sinput.Reference_Name.patch | |
parent | a83c3c78d66f2f95e34aa19ca3626da3976a0b0f (diff) | |
download | aur-18660f545cf4b9dd39b9e4e87a7b9f12206f4499.tar.gz |
Update to 2020 release
Diffstat (limited to '0001-Use-GPR.Sinput.Reference_Name.patch')
-rw-r--r-- | 0001-Use-GPR.Sinput.Reference_Name.patch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/0001-Use-GPR.Sinput.Reference_Name.patch b/0001-Use-GPR.Sinput.Reference_Name.patch new file mode 100644 index 000000000000..9b12c3cf372a --- /dev/null +++ b/0001-Use-GPR.Sinput.Reference_Name.patch @@ -0,0 +1,30 @@ +From d386fd1f73ee5526c866e98e712ca2a8c8b49096 Mon Sep 17 00:00:00 2001 +From: Dmitriy Anisimkov <anisimko@adacore.com> +Date: Wed, 5 Feb 2020 15:58:58 +0600 +Subject: [PATCH 1/5] Use GPR.Sinput.Reference_Name + +T117-002 + +Prepare to hide Source_File table. + +Change-Id: I3c7378061398e1e15c3a1ef18e25c525d437f4fe +--- + toolchains_editor/core/src/toolchains-parsers.adb | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/toolchains_editor/core/src/toolchains-parsers.adb b/toolchains_editor/core/src/toolchains-parsers.adb +index b95205057e..dd0314c691 100644 +--- a/toolchains_editor/core/src/toolchains-parsers.adb ++++ b/toolchains_editor/core/src/toolchains-parsers.adb +@@ -672,7 +672,7 @@ package body Toolchains.Parsers is + is + Location : constant Source_Ptr := Location_Of (Node, Node_Data); + File : constant String := Get_Name_String +- (Source_File.Table (Get_Source_File_Index (Location)).File_Name); ++ (Reference_Name (Get_Source_File_Index (Location))); + Line : constant Line_Number := + Get_Line_Number (Location); + Col : constant Column_Number := Get_Column_Number (Location); +-- +2.26.2 + |