comparison scripts/pkg/private/configure_make.m @ 19020: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 c2d1869a95ee
children e33427a854ec
comparison
equal deleted inserted replaced
19019:f84361735a40 19020:7141d9728ee0
78 endif 78 endif
79 endif 79 endif
80 80
81 ## Make. 81 ## Make.
82 if (exist (fullfile (src, "Makefile"), "file")) 82 if (exist (fullfile (src, "Makefile"), "file"))
83 [status, output] = shell ([scenv "make -C '" src "'"], verbose); 83 [status, output] = shell (sprintf ("%s make --jobs %i --directory '%s'",
84 scenv, nproc ("overridable"), src),
85 verbose);
84 if (status != 0) 86 if (status != 0)
85 rmdir (desc.dir, "s"); 87 rmdir (desc.dir, "s");
86 disp (output); 88 disp (output);
87 error ("pkg: error running `make' for the %s package.", desc.name); 89 error ("pkg: error running `make' for the %s package.", desc.name);
88 endif 90 endif