[PATCH v2 1/2] libada: Remove racy duplicate gnatlib installation
Maciej W. Rozycki
macro@wdc.com
Sun Sep 29 22:29:00 GMT 2019
On Sat, 28 Sep 2019, Maciej W. Rozycki wrote:
> Index: gcc/gcc/ada/gcc-interface/Make-lang.in
> ===================================================================
> --- gcc.orig/gcc/ada/gcc-interface/Make-lang.in
> +++ gcc/gcc/ada/gcc-interface/Make-lang.in
> @@ -843,6 +845,7 @@ doc/gnat-style.pdf: ada/gnat-style.texi
> #
> # Finally, install the library
> #
> +gnat-install-lib: gnat-install-tools
FYI, after some consideration I've updated this prerequisite to read:
gnat-install-lib: | gnat-install-tools
I think it matches the current behaviour more accurately, though I guess
we might as well remove the prerequisite altogether as the two recipies
do not appear to clash with each other (but then the comment will have to
be updated accordingly, or removed).
I'll post the final version once committed if you agree with this update.
Maciej
More information about the Gcc-patches
mailing list