diff -r db92e7e28e1f scripts/pkg/private/configure_make.m --- a/scripts/pkg/private/configure_make.m Tue Jan 20 10:29:54 2015 -0500 +++ b/scripts/pkg/private/configure_make.m Wed Jan 21 12:18:08 2015 +0200 @@ -79,10 +79,15 @@ endif ## Make. + if (ispc) + jobs = 1; + else + jobs = nproc ("overridable"); + endif + if (exist (fullfile (src, "Makefile"), "file")) [status, output] = shell (sprintf ("%s make --jobs %i --directory '%s'", - scenv, nproc ("overridable"), src), - verbose); + scenv, jobs, src), verbose); if (status != 0) rmdir (desc.dir, "s"); disp (output);