Arnaud Charlet <char...@adacore.com> writes:
>> It seems to me that (as already done in one of three cases in the
>> install-gnatlib target) $(INSTALL_DATA_DATE) errors should be ignored,
>> to allow for such a case.
>>
>> The following patch does just that and allowed the make install to
>> complete.
>>
>> Ok for mainline?
>
> No, it's not OK to ignore all such errors, and the permissions should
> really be preserved, so such error really musn't be ignored.
Alternatively, one could use tar to do the copy, like gcc/Makefile.in
(install-headers-tar). It will preserve timestamps, too, and is likely
to be way faster than hundreds of individual invocations of cp -p.
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University
