diff options
| author | ro <ro@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-11-02 10:12:19 +0000 |
|---|---|---|
| committer | ro <ro@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-11-02 10:12:19 +0000 |
| commit | 25176561e6da33ac38cf6d8dadb01fe02124239e (patch) | |
| tree | c60d25d6bfb40ae378074ffbdc882a15f7f9940d /gcc/ada | |
| parent | 25ab956c62d1be013d94838973c0c6af45591c5c (diff) | |
| download | gcc-25176561e6da33ac38cf6d8dadb01fe02124239e.tar.gz | |
Parallelize check-gnat
Backport from mainline
2016-10-24 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
* gcc-interface/Make-lang.in (lang_checks_parallelized): New target.
(check_gnat_parallelize): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-6-branch@241781 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/Make-lang.in | 3 |
2 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 703f54edcdd..268f0f71c69 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2016-11-02 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> + + Backport from mainline + 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-17 Eric Botcazou <ebotcazou@adacore.com> * system-darwin-ppc64.ads (Support_64_Bit_Divides): Delete. diff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc-interface/Make-lang.in index a8ce6722491..ab8e76e8fc4 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 |