dev-ada/gprbuild/files/gprbuild-2021-runpath.patch


1
2
3
4
5
6
7
8
9
10
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;