From: Ben Pfaff <blp@cs.stanford.edu>
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?p=pspp;a=commitdiff_plain;h=d4ccb00f0ca0f4b248b51ccf04239f8d4640ef1b

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))