diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-02 09:07:02 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-02 09:07:02 +0000 |
| commit | 68f980204de6c2d69eed8748edc90282879326a6 (patch) | |
| tree | eb74f0bcca207f547c8ababe0f82e65e16b30ce1 /dev-ada/gprbuild/files | |
| parent | c8273339188289fe8571e5a8cb9e00e59a46aaaf (diff) | |
gentoo auto-resync : 02:02:2023 - 09:07:02
Diffstat (limited to 'dev-ada/gprbuild/files')
| -rw-r--r-- | dev-ada/gprbuild/files/gprbuild-2021-runpath.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-ada/gprbuild/files/gprbuild-2021-runpath.patch b/dev-ada/gprbuild/files/gprbuild-2021-runpath.patch deleted file mode 100644 index 9224a09f9049..000000000000 --- a/dev-ada/gprbuild/files/gprbuild-2021-runpath.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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; - |