Change in core[master]: restore --enable-symbols option again -- was FYI: Cleanup of debug options

[Norbert Thiebaud]

On Wed, Nov 7, 2012 at 3:02 PM, David Ostrovsky <d.ostrovsky at idaia.de> wrote:
> Given that we don't want to rename two last options, we are trying to find a
> new (less confusing and not so long) name
> for the first one:
> --enable-symbols-and-preserve-optimization

nah, --enable-symbol is just fine

Norbert