diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index a9e539c9da6..bdb1d48f7b4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -18,10 +18,11 @@ # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. # -# Tell GNU make 2.79 not to run the top level in parallel. This +# Tell GNU make 3.79 not to run the top level in parallel. This # prevents contention for $builddir/$target/config.cache, as well # as minimizing scatter in file system caches. -.NOTPARALLEL: +NOTPARALLEL = .NOTPARALLEL +$(NOTPARALLEL): srcdir = . @@ -1123,8 +1124,11 @@ clean-target-libgcc: # Check target. -.PHONY: check -check: $(CHECK_MODULES) \ +.PHONY: check do-check +check: + $(MAKE) do-check NOTPARALLEL=parallel-ok + +do-check: $(CHECK_MODULES) \ $(CHECK_TARGET_MODULES) \ $(CHECK_X11_MODULES) \ check-gcc |