diff options
| author | Guillaume Melquiond | 2016-01-08 10:46:26 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-01-08 10:46:26 +0100 |
| commit | 8b0fbcc6568308794ef198f8e96093b00ba90ca4 (patch) | |
| tree | 1924b3cd0aa362a89b3cc3824ba76ebe763dfbd6 /plugins | |
| 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 'plugins')
0 files changed, 0 insertions, 0 deletions