diff options
| -rw-r--r-- | dev-lang/gprolog/files/gprolog-1.4.5-check-boot.patch | 11 | ||||
| -rw-r--r-- | dev-lang/gprolog/gprolog-1.4.5.ebuild | 1 |
2 files changed, 12 insertions, 0 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 new file mode 100644 index 000000000000..a2b9638872fb --- /dev/null +++ b/dev-lang/gprolog/files/gprolog-1.4.5-check-boot.patch @@ -0,0 +1,11 @@ +--- 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) + } + + diff --git a/dev-lang/gprolog/gprolog-1.4.5.ebuild b/dev-lang/gprolog/gprolog-1.4.5.ebuild index b158b38e3fca..8d202ff41010 100644 --- a/dev-lang/gprolog/gprolog-1.4.5.ebuild +++ b/dev-lang/gprolog/gprolog-1.4.5.ebuild @@ -23,6 +23,7 @@ src_prepare() { epatch "${FILESDIR}"/${P}-links.patch epatch "${FILESDIR}"/${P}-nodocs.patch epatch "${FILESDIR}"/${P}-txt-file.patch + epatch "${FILESDIR}"/${P}-check-boot.patch eapply_user } |