I just ran the experiment myself, and it did separate compilation for me. Are you sure you are using `Makefile.linux-gcc` and not `Makefile.in`?
I just ran the experiment myself, and it did separate compilation for me. Are you sure you are using `Makefile.linux-gcc` and not `Makefile.in`?