--- make/commands.c Sun Feb 27 21:40:24 2005 +++ make-p/commands.c Mon Feb 28 13:15:28 2005 @@ -481,10 +481,16 @@ exit (EXIT_FAILURE); #endif +#ifdef WINDOWS32 + /* Cannot call W32_kill with a pid (it needs a handle) */ + exit (EXIT_FAILURE); +#else /* Signal the same code; this time it will really be fatal. The signal will be unblocked when we return and arrive then to kill us. */ if (kill (getpid (), sig) < 0) pfatal_with_name ("kill"); + +#endif /* not WINDOWS32 */ #endif /* not Amiga */ #endif /* not __MSDOS__ */ } @@ -589,3 +595,4 @@ s = end; } }