From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 11 Jan 2013 16:50:14 +0000 (-0800)
Subject: build-pspp: Do parallel build.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c5a2ccec277a0a538f2def943c71a9f7e2dbebd1;p=pspp

build-pspp: Do parallel build.
---

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