diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/mainbody.c')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/mainbody.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/mainbody.c b/Build/source/texk/web2c/luatexdir/tex/mainbody.c index 3d239b5a24d..fd77be07137 100644 --- a/Build/source/texk/web2c/luatexdir/tex/mainbody.c +++ b/Build/source/texk/web2c/luatexdir/tex/mainbody.c @@ -294,6 +294,10 @@ int filelineerrorstylep; int haltonerrorp; +/*tex already trying to halt? */ + +boolean haltingonerrorp; + /*tex current filename is quoted */ boolean quoted_filename; |