diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/utils.c')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/utils.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/utils.c b/Build/source/texk/web2c/pdftexdir/utils.c index 14d00a68549..ebf68346613 100644 --- a/Build/source/texk/web2c/pdftexdir/utils.c +++ b/Build/source/texk/web2c/pdftexdir/utils.c @@ -248,6 +248,8 @@ void pdftex_fail(const char *fmt, ...) safe_print(" ==> Fatal error occurred, no output PDF file produced!"); println(); if (kpathsea_debug) { + safe_print("kpathsea_debug enabled, calling abort()..."); + println(); abort(); } else { exit(EX_SOFTWARE); |