>From dd65cd3918b33e9bd267661ea697b39755be72a1 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Fri, 24 Mar 2017 20:37:26 +0900
Subject: [PATCH 2/2] Add another build error check
This check catches build error to happen when font-map database
is not updated after manual install of a font package.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
utilities/runfirstlatex.sh | 6 ++++++
utilities/runlatex.sh | 6 ++++++
2 files changed, 12 insertions(+)
diff --git a/utilities/runfirstlatex.sh b/utilities/runfirstlatex.sh
index 8261238..1a2a7a5 100644
--- a/utilities/runfirstlatex.sh
+++ b/utilities/runfirstlatex.sh
@@ -47,6 +47,12 @@ then
echo "----- Fatal latex error, see $basename.log for details. -----"
exit 1
fi
+if grep -q '!pdfTeX error:' $basename.log
+then
+ grep -A 2 '!pdfTeX error:' $basename.log
+ echo "----- Fatal latex error, see $basename.log for details. -----"
+ exit 1
+fi
grep 'LaTeX Warning:' $basename.log > $basename-warning.log
touch $basename-first.log
exit 0
diff --git a/utilities/runlatex.sh b/utilities/runlatex.sh
index cece545..81800db 100644
--- a/utilities/runlatex.sh
+++ b/utilities/runlatex.sh
@@ -58,6 +58,12 @@ iterate_latex () {
echo "----- Fatal latex error, see $basename.log for details. -----"
exit 1
fi
+ if grep -q '!pdfTeX error:' $basename.log
+ then
+ grep -A 2 '!pdfTeX error:' $basename.log
+ echo "----- Fatal latex error, see $basename.log for details. -----"
+ exit 1
+ fi
if test -r $basename-warning.log
then
mv -f $basename-warning.log $basename-warning-prev.log
--
2.7.4
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
