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.
they are: this is a bug in (it seems) all recent version of coreutils
cp. How about a version with cp and touch -r as Mike suggested instead?
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University
