diff options
Diffstat (limited to 'Build/source/texk/dtl/dt2dv.c')
-rw-r--r-- | Build/source/texk/dtl/dt2dv.c | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/Build/source/texk/dtl/dt2dv.c b/Build/source/texk/dtl/dt2dv.c index a88cedc7c00..49cba320a4e 100644 --- a/Build/source/texk/dtl/dt2dv.c +++ b/Build/source/texk/dtl/dt2dv.c @@ -343,9 +343,6 @@ main char * argv[]; #endif { -#ifndef WIN32 - Void (*handler) ARGS((int)); /* Previous signal handler */ -#endif int i; #ifdef KPATHSEA @@ -358,7 +355,7 @@ main /* memory violation signal handler */ /* Not supported under Win32 */ #ifndef WIN32 - handler = (Void (*) ARGS((int))) signal (SIGSEGV, mem_viol); + signal (SIGSEGV, mem_viol); #endif #ifndef __DATE__ @@ -415,8 +412,7 @@ mem_viol int sig; #endif { - Void (* handler) ARGS((int)); - handler = (Void (*) ARGS((int))) signal (SIGSEGV, mem_viol); + signal (SIGSEGV, mem_viol); if (sig != SIGSEGV) { PRINT_PROGNAME; |