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 | 28078b517a3151f18cf427be87600803251d732b (patch) | |
tree | d963a5674f982ccc6070f1596b8286239f84f5b8 /commands.c | |
parent | cb2f20026908d5c6e48e2cd3e3e65b5f67498d02 (diff) | |
download | gunmake-28078b517a3151f18cf427be87600803251d732b.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__ */ } |