X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=build-pspp;h=811a39f33defc373e8b70d96176e6f9306dded0e;hb=c5a2ccec277a0a538f2def943c71a9f7e2dbebd1;hp=6c1a30dc9bc422a61ac5e77e4bd9f0765dab8b11;hpb=674fd625303321472d4fa89a6d1d62058790b87e;p=pspp

diff --git a/build-pspp b/build-pspp
index 6c1a30dc9b..811a39f33d 100755
--- a/build-pspp
+++ b/build-pspp
@@ -313,7 +313,7 @@ if ($build_binary) {
     fail () if !$ok;
 
     start_step ("Build");
-    run ("cd $builddir/$tarball_dir/_build && make", "build");
+    run ("cd $builddir/$tarball_dir/_build && make -j2", "build");
 
     start_step ("Install");
     run ("cd $builddir/$tarball_dir/_build && make install DESTDIR=\$PWD/pspp-$binary_version", "install");