changeset 18986:7141d9728ee0

pkg.m: run make with multiple simultaneous jobs (bug #42915)
author Carnë Draug <carandraug@octave.org>
date Wed, 06 Aug 2014 01:11:58 +0100
parents f84361735a40
children 12d1297d3a38
files scripts/pkg/private/configure_make.m
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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);