diff -ru gprolog-1.4.4.orig/src/Pl2Wam/check_boot gprolog-1.4.4.tmpfile/src/Pl2Wam/check_boot
--- gprolog-1.4.4.orig/src/Pl2Wam/check_boot 2012-12-07 03:09:23.000000000 +0100
+++ gprolog-1.4.4.tmpfile/src/Pl2Wam/check_boot 2016-08-27 11:08:22.837622681 +0200
@@ -13,7 +13,7 @@
rm_make() {
rm -f $*
- make >/tmp/make.log 2>&1 || (echo /tmp/make.log ; exit 1)
+ make >/dev/null 2>&1 || (echo "make failed in rm_make" ; exit 1)
}