Alvaro Herrera <alvherre(at)2ndquadrant(dot)com> writes:
> I think the easiest to track this down is to provide a complete build
> log. It should not be building src/port/pg_crc32c_sse42.c the second
> time around.
Specifically, I'd like to see config.log from the second
(cross-compilation) configure run.
regards, tom lane