summaryrefslogtreecommitdiff
path: root/source/luametatex/source/tex/texmainbody.c
diff options
context:
space:
mode:
Diffstat (limited to 'source/luametatex/source/tex/texmainbody.c')
-rw-r--r--source/luametatex/source/tex/texmainbody.c17
1 files changed, 9 insertions, 8 deletions
diff --git a/source/luametatex/source/tex/texmainbody.c b/source/luametatex/source/tex/texmainbody.c
index 4dd9c37a0..707882a6b 100644
--- a/source/luametatex/source/tex/texmainbody.c
+++ b/source/luametatex/source/tex/texmainbody.c
@@ -385,14 +385,15 @@ void tex_main_body(void)
lmt_error_state.history = spotless;
- {
- int dump = tex_main_control();
- if (dump && lmt_main_state.run_state != initializing_state) {
- /*tex Maybe we need to issue a warning here. For now we just ignore it. */
- dump = 0;
- }
- final_cleanup(dump);
- }
+ // {
+ // int dump = tex_main_control();
+ // if (dump && lmt_main_state.run_state != initializing_state) {
+ // /*tex Maybe we need to issue a warning here. For now we just ignore it. */
+ // dump = 0;
+ // }
+ // final_cleanup(dump);
+ // }
+ final_cleanup(tex_main_control());
tex_close_files_and_terminate(0);