diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1a5607f6ce4..14782a7b578 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2016-10-24 Rainer Orth + + * gcc-interface/Make-lang.in (lang_checks_parallelized): New target. + (check_gnat_parallelize): Likewise. + 2016-10-20 Nicolas Roche * gcc-interface/Makefile (x86-64/Linux): Restore missing pairs. diff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc-interface/Make-lang.in index 47a92687f76..b5d1f0ea173 100644 --- a/gcc/ada/gcc-interface/Make-lang.in +++ b/gcc/ada/gcc-interface/Make-lang.in @@ -863,6 +863,9 @@ ada.stagefeedback: stagefeedback-start -$(MV) ada/stamp-* stagefeedback/ada lang_checks += check-gnat +lang_checks_parallelized += check-gnat +# For description see the check_$lang_parallelize comment in gcc/Makefile.in. +check_gnat_parallelize = 1000 check-ada: check-acats check-gnat check-ada-subtargets: check-acats-subtargets check-gnat-subtargets