diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-01-08 10:46:26 +0100 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-01-08 10:46:26 +0100 |
commit | 8b0fbcc6568308794ef198f8e96093b00ba90ca4 (patch) | |
tree | 1924b3cd0aa362a89b3cc3824ba76ebe763dfbd6 /.gitignore | |
parent | 29d2dcb5474e4eed7e0f0d02d1e388bff53ec82d (diff) |
Be more verbose about failure to compile libraries to native code.
On a machine with only 1GB of memory (e.g. in a VM), the compiler might be
abruptly killed by a segfault. We were not getting any feedback in that
case, making it harder to debug.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions