X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=build-pspp;h=d7ea908479564fa8c1b73b7dd0aae139df2c06bd;hp=889509c930577640245fbd31b71c019f2205036f;hb=d4ccb00f0ca0f4b248b51ccf04239f8d4640ef1b;hpb=5a205087d29a7c89fd85858e8feb80816a54dd1e

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