[m-rev.] for review: making pointer_equal a builtin

[Peter Wang]

On Fri, 28 Nov 2014 14:26:55 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> 
> The pregenerated C sources are *not* generated with
> --intermodule-optimization enabled.  For the record they are compiled
> with:
> 
>      -O5 --opt-space --cross-compiling --no-smart-indexing
> 
> (And have been compiled with the above for a *very* long time.)

My bad.

Back when we had nightly tests, the compiler would have been installed
to each host at -O5 --intermod-opt, correct?

Peter