summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-04-03 10:01:09 +0200
committerJohn MacFarlane <jgm@berkeley.edu>2017-04-03 10:01:09 +0200
commit5c2f3341e3c129aeb27f70fe6ca9ed0fea8f2383 (patch)
treed69404aa64ac077e5fcef48105edd780094b1480 /Makefile
parent118ebb338840d67005ee57ec39060d2b68f4ec7c (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