diff options
author | Paul Smith <psmith@gnu.org> | 2005-03-04 12:52:32 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2005-03-04 12:52:32 +0000 |
commit | e304dbdef59a45a1689038f1e83c3420aa5e1d2c (patch) | |
tree | d963a5674f982ccc6070f1596b8286239f84f5b8 /commands.c | |
parent | f067be2845b3a98f3275a79c5cb3a9eb310d4eb9 (diff) | |
download | make-e304dbdef59a45a1689038f1e83c3420aa5e1d2c.tar.gz |
- Missing docs for $|
- Update NEWS and AUTHORS files.
- Fix support request #103195.
- Apply patch #3679
- Fix handling of sys_siglist in autoconf/etc.
Diffstat (limited to 'commands.c')
-rw-r--r-- | commands.c | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -481,10 +481,15 @@ fatal_error_signal (int sig) 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__ */ } |