5 Jun
2005
5 Jun
'05
9:03 p.m.
From: Ge van Geldorp
How about introducing a boot option /LOADSYMBOLS, defaulting
to YES for DBG := 1 and NO for DBG := 0? That way, a user
having a reproducible problem can be instructed to add that
option so we can have a good stack trace.
Since noone objected to this idea, I've implemented it now (r15814).
Ge van Geldorp.