From: Ben Pfaff Date: Sat, 5 Sep 2020 18:15:14 +0000 (-0700) Subject: build-pspp: Also run check in parallel. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d4ccb00f0ca0f4b248b51ccf04239f8d4640ef1b;p=pspp build-pspp: Also run check in parallel. --- diff --git a/build-pspp b/build-pspp index 889509c930..d7ea908479 100755 --- a/build-pspp +++ b/build-pspp @@ -522,8 +522,8 @@ if build_binary: % (builddir, tarball_dir, binary_version), 1) start_step("Check") - ok = try_run("cd %s/%s/_build && make check" % (builddir, tarball_dir), - "check") + ok = try_run("cd %s/%s/_build && make check TESTSUITEFLAGS=-j$(nproc)" + % (builddir, tarball_dir), "check") for basename in ("tests/testsuite.log", "tests/testsuite.dir"): save_result_if_exists("test logs", "%s/%s/_build/%s" % (builddir, tarball_dir, basename))