diff options
author | Herbert Valerio Riedel <hvr@gnu.org> | 2015-11-16 18:49:46 +0100 |
---|---|---|
committer | Herbert Valerio Riedel <hvr@gnu.org> | 2015-11-16 18:51:41 +0100 |
commit | cd061c04b9239fcc68c43ed439331e1a41e5e22a (patch) | |
tree | e6b44b8934c35577e3c0c90538aa965de507cf0d /System | |
parent | 137fa1b06a79a9baa0d5fcf2ec11f964c3423f6a (diff) |
Don't assume non-POSIX `WCOREDUMP(x)` macro exists
This fixes #50
Diffstat (limited to 'System')
0 files changed, 0 insertions, 0 deletions