# HG changeset patch
# User Carnë Draug <carandraug@octave.org>
# Date 1407283918 -3600
# Node ID 7141d9728ee022e831da1ba79a81b30d1d80de34
# Parent  f84361735a4071a88015f97642c385dd1b094c3c
pkg.m: run make with multiple simultaneous jobs (bug #42915)

diff -r f84361735a40 -r 7141d9728ee0 scripts/pkg/private/configure_make.m
--- a/scripts/pkg/private/configure_make.m	Tue Aug 05 09:15:01 2014 -0700
+++ b/scripts/pkg/private/configure_make.m	Wed Aug 06 01:11:58 2014 +0100
@@ -80,7 +80,9 @@
 
     ## Make.
     if (exist (fullfile (src, "Makefile"), "file"))
-      [status, output] = shell ([scenv "make -C '" src "'"], verbose);
+      [status, output] = shell (sprintf ("%s make --jobs %i --directory '%s'",
+                                         scenv, nproc ("overridable"), src),
+                                verbose);
       if (status != 0)
         rmdir (desc.dir, "s");
         disp (output);