diff options
| author | Viljar Indus <indus@adacore.com> | 2024-11-21 12:22:00 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-12-12 10:58:01 +0100 |
| commit | 07fe98fb1a92944eab83c4254e55f5bfee916a0b (patch) | |
| tree | 9d8695be4610006907417e14cd69ba12cb6f78d1 /gcc | |
| parent | 9ea2c78197cf16390b924c07acc402cb0954237f (diff) | |
| download | gcc-07fe98fb1a92944eab83c4254e55f5bfee916a0b.zip gcc-07fe98fb1a92944eab83c4254e55f5bfee916a0b.tar.gz gcc-07fe98fb1a92944eab83c4254e55f5bfee916a0b.tar.bz2 | |
ada: Avoid going through symlinks in the json report
gcc/ada/ChangeLog:
* errout.adb (Write_JSON_Location): Avoid going through
symbolic links when printing the full name.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/errout.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb index 7e24970..3c49927 100644 --- a/gcc/ada/errout.adb +++ b/gcc/ada/errout.adb @@ -2372,7 +2372,8 @@ package body Errout is Write_Str ("{""file"":"""); if Full_Path_Name_For_Brief_Errors then Write_JSON_Escaped_String - (System.OS_Lib.Normalize_Pathname (Get_Name_String (Name))); + (System.OS_Lib.Normalize_Pathname + (Get_Name_String (Name), Resolve_Links => False)); else Write_Name (Name); end if; |