diff options
Diffstat (limited to 'dmake/winnt/microsft/vpp40/runargv.c')
-rw-r--r-- | dmake/winnt/microsft/vpp40/runargv.c | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/dmake/winnt/microsft/vpp40/runargv.c b/dmake/winnt/microsft/vpp40/runargv.c index 9042dfc80a47..2ffef707b7a3 100644 --- a/dmake/winnt/microsft/vpp40/runargv.c +++ b/dmake/winnt/microsft/vpp40/runargv.c @@ -128,18 +128,16 @@ int pid; PUBLIC void Clean_up_processes() { - register int i; - - if( _procs != NIL(PR) ) { - for( i=0; i<Max_proc; i++ ) - if( _procs[i].pr_valid ) - kill(_procs[i].pr_pid, SIGTERM); - - while( Wait_for_child(TRUE, -1) != -1 ); - } + if( _procs != NIL(PR) ) + { + register int i; + for( i=0; i<Max_proc; i++ ) + if( _procs[i].pr_valid ) + kill(_procs[i].pr_pid, SIGTERM); + while( Wait_for_child(TRUE, -1) != -1 ); + } } - static void _add_child( pid, target, ignore, last ) int pid; |