diff options
Diffstat (limited to 'dev-ada/gprbuild/files/gprbuild-2021-runpath.patch')
-rw-r--r-- | dev-ada/gprbuild/files/gprbuild-2021-runpath.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/gprbuild/files/gprbuild-2021-runpath.patch b/dev-ada/gprbuild/files/gprbuild-2021-runpath.patch new file mode 100644 index 000000000000..9224a09f9049 --- /dev/null +++ b/dev-ada/gprbuild/files/gprbuild-2021-runpath.patch @@ -0,0 +1,11 @@ +--- a/gpr/src/gpr-util.adb 2022-03-19 22:41:32.372348082 +0100 ++++ b/gpr/src/gpr-util.adb 2022-03-19 22:41:54.325010633 +0100 +@@ -3634,7 +3634,7 @@ + end if; + end loop; + +- return Ret; ++ return Ret(1 .. Length - Separator'Length); + end; + end Concat_Paths; + |