Fix search for compilation errors.
When used with the 'PSTricks', the search for compilation errors now takes into account the name of package 'infwarerr'.
This commit is contained in:
parent
8a1695b7e4
commit
9bacd2f9b9
|
@ -4,7 +4,7 @@ pdflatex.sh
|
||||||
|
|
||||||
:Author: Michał Kalewski
|
:Author: Michał Kalewski
|
||||||
:Source: https://github.com/mkalewski/pdflatex.sh
|
:Source: https://github.com/mkalewski/pdflatex.sh
|
||||||
:Version: 3.1.2
|
:Version: 3.1.3
|
||||||
|
|
||||||
|
|
||||||
Name
|
Name
|
||||||
|
|
|
@ -34,7 +34,7 @@
|
||||||
|
|
||||||
# VERSION
|
# VERSION
|
||||||
# =======
|
# =======
|
||||||
VERSION=3.1.2
|
VERSION=3.1.3
|
||||||
|
|
||||||
|
|
||||||
# PROGRAMS
|
# PROGRAMS
|
||||||
|
@ -553,7 +553,7 @@ else
|
||||||
fi
|
fi
|
||||||
echo -ne "${txtund}PS4PDF${txtrst}...\t\t\t\t"
|
echo -ne "${txtund}PS4PDF${txtrst}...\t\t\t\t"
|
||||||
$PS4PDF_PROGRAM "$FILENAME" >&- 2>&-
|
$PS4PDF_PROGRAM "$FILENAME" >&- 2>&-
|
||||||
ERR=`egrep -i "error|emergency stop" "$FILENAME".log`
|
ERR=`egrep -i "error|emergency stop" "$FILENAME".log | grep -v -i infwarerr`
|
||||||
if [[ -n $ERR ]] ; then
|
if [[ -n $ERR ]] ; then
|
||||||
echo -ne "${txtred}[done]"
|
echo -ne "${txtred}[done]"
|
||||||
echo " ${txtbld}(With errors! See $FILENAME.log file.)${txtrst}"
|
echo " ${txtbld}(With errors! See $FILENAME.log file.)${txtrst}"
|
||||||
|
|
Loading…
Reference in New Issue