diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-04-03 10:01:09 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-04-03 10:01:09 +0200 |
| commit | 5c2f3341e3c129aeb27f70fe6ca9ed0fea8f2383 (patch) | |
| tree | d69404aa64ac077e5fcef48105edd780094b1480 /Makefile | |
| parent | 118ebb338840d67005ee57ec39060d2b68f4ec7c (diff) | |
Print message to stderr when we abort due to memory demands.
Closes #188.
@nwellnhof - could you have a look and let me know if you
think this is a bad idea or could be improved?
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions