diff options
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) - } - - |