diff m_option.h @ 35253:48db1b241757

Try to do something sensible when malloc fails instead of continuing which is sure to crash.
author reimar
date Mon, 05 Nov 2012 20:45:40 +0000
parents 1495455e6d22
children 97446d4850cc
line wrap: on
line diff