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, 11 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) + } + + |