This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [ada, build] Ignore cp -p failures during Ada make install
- From: Arnaud Charlet <charlet at adacore dot com>
- To: Rainer Orth <ro at CeBiTec dot Uni-Bielefeld dot DE>
- Cc: gcc-patches at gcc dot gnu dot org, Paolo Bonzini <bonzini at gnu dot org>
- Date: Fri, 25 Apr 2014 19:36:18 +0200
- Subject: Re: [ada, build] Ignore cp -p failures during Ada make install
- Authentication-results: sourceware.org; auth=none
- References: <yddsip1y1ac dot fsf at lokon dot CeBiTec dot Uni-Bielefeld dot DE>
> 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.
Arno