> 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
