diff options
Diffstat (limited to 'Build/source/texk/dvipdfmx/src/dvipdfmx.c')
-rw-r--r-- | Build/source/texk/dvipdfmx/src/dvipdfmx.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Build/source/texk/dvipdfmx/src/dvipdfmx.c b/Build/source/texk/dvipdfmx/src/dvipdfmx.c index 2c6ee0b0fb1..26b00493210 100644 --- a/Build/source/texk/dvipdfmx/src/dvipdfmx.c +++ b/Build/source/texk/dvipdfmx/src/dvipdfmx.c @@ -856,8 +856,6 @@ main (int argc, char *argv[]) return extractbb(argc, argv); } - mem_debug_init(); - if (argc < 2) { if (!really_quiet) fprintf(stderr, "No dvi filename specified."); @@ -1001,7 +999,5 @@ main (int argc, char *argv[]) miktex_uninitialize (); #endif - mem_debug_check(); - return 0; } |