On Mon, Jul 18, 2011 at 20:54, Gabriel Charette wrote:
> We potentially want to store which flags were on at the pph compile time and
> make sure the same flags
> are on when doing the real compile (otherwise recompile the pph or some other
> soltution...??)
That's up to the build system. Dif
The issue was that we were compiling the pph with some flags and weren't doing
so in the rest of the compilation (pph and non-pph), resulting in different
outputs.
The fact that pph would let this happen is potentially a problem and I opened a
separate thread "Flags and pph..." to discuss this.
