This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Fix parallel make install
* Diego Novillo wrote on Thu, Dec 04, 2008 at 04:46:14PM CET:
> On Thu, Dec 4, 2008 at 10:24, Alexandre Oliva <aoliva@redhat.com> wrote:
>
> > You phrase it as if there was no other way to avoid the race
> > condition.
>
> Well, removing finclude/ is still wrong, as it would remove the files
> installed by libgomp. If the user did make install from <bld>/gcc/,
> the files installed by libgomp would be gone.
That still doesn't answer the question whether, before this patch,
removing finclude/ early in the installation process was done
consciously, for example to remove files from an older installation
of GCC that, when not removed now, could cause some sort of trouble.
Example: the GCC tree of two months ago bogusly installed file Foo.h
to finclude/, that, when not removed now, results in a malfunctioning
of current GCC.
This question needs to be answered first. Then, you can still
address any remaining issues that result from the fact that
different parts of the current tree mess with the same installation
directory, and the kind of serialization required for resolution.
Cheers,
Ralf