diff options
| author | Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> | 2016-10-24 11:18:21 +0000 |
|---|---|---|
| committer | Rainer Orth <ro@gcc.gnu.org> | 2016-10-24 11:18:21 +0000 |
| commit | 6a5792b660b24aed969139573707bc20702c81d4 (patch) | |
| tree | b3323293d82602185e9da83718272922730eca7d /gcc/ada | |
| parent | b1b6774f67ee3760778596db91bbe5a6ce73a172 (diff) | |
| download | gcc-6a5792b660b24aed969139573707bc20702c81d4.zip gcc-6a5792b660b24aed969139573707bc20702c81d4.tar.gz gcc-6a5792b660b24aed969139573707bc20702c81d4.tar.bz2 | |
Parallelize check-gnat
* gcc-interface/Make-lang.in (lang_checks_parallelized): New target.
(check_gnat_parallelize): Likewise.
From-SVN: r241469
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/Make-lang.in | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1a5607f..14782a7 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2016-10-24 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> + + * gcc-interface/Make-lang.in (lang_checks_parallelized): New target. + (check_gnat_parallelize): Likewise. + 2016-10-20 Nicolas Roche <roche@adacore.com> * 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 47a9268..b5d1f0e 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 |