diff options
| author | Michael Mair-Keimberger <mmk@levelnine.at> | 2024-05-19 12:51:47 +0200 |
|---|---|---|
| committer | Conrad Kostecki <conikost@gentoo.org> | 2024-05-25 01:35:14 +0200 |
| commit | f68a6a1a48c0119d197fb7ee26f2feebc0775191 (patch) | |
| tree | 1015e89c52fa8fe26f940867d160a3221e64a01d /dev-lang/gprolog/files/gprolog-1.4.5-check-boot.patch | |
| parent | 08c5262b636f1cc983089ba332470e6256e9e8ea (diff) | |
| download | gentoo-f68a6a1a48c0119d197fb7ee26f2feebc0775191.tar.gz gentoo-f68a6a1a48c0119d197fb7ee26f2feebc0775191.tar.bz2 gentoo-f68a6a1a48c0119d197fb7ee26f2feebc0775191.zip | |
dev-lang/gprolog: remove unused patches
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Diffstat (limited to 'dev-lang/gprolog/files/gprolog-1.4.5-check-boot.patch')
| -rw-r--r-- | dev-lang/gprolog/files/gprolog-1.4.5-check-boot.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-lang/gprolog/files/gprolog-1.4.5-check-boot.patch b/dev-lang/gprolog/files/gprolog-1.4.5-check-boot.patch deleted file mode 100644 index a2b9638872fb..000000000000 --- a/dev-lang/gprolog/files/gprolog-1.4.5-check-boot.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- gprolog-1.4.5.orig/src/Pl2Wam/check_boot 2012-12-07 03:09:23.000000000 +0100 -+++ gprolog-1.4.5/src/Pl2Wam/check_boot 2018-09-01 12:56:38.385276112 +0200 -@@ -13,7 +13,7 @@ - - rm_make() { - rm -f $* -- make >/tmp/make.log 2>&1 || (echo /tmp/make.log ; exit 1) -+ make >make.log 2>&1 || (echo make.log ; exit 1) - } - - |