blob: f73d770de1a6bbb80f5d6b4bb1dd98d6574a26d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- scripts/pkg/private/configure_make.m.orig 2018-04-30 17:03:56 UTC
+++ scripts/pkg/private/configure_make.m
@@ -87,7 +87,7 @@ function configure_make (desc, packdir,
endif
if (exist (fullfile (src, "Makefile"), "file"))
- [status, output] = shell (sprintf ("%s make --jobs %i --directory '%s'",
+ [status, output] = shell (sprintf ("%s gmake --jobs %i --directory '%s'",
scenv, jobs, src), verbose);
if (status != 0)
rmdir (desc.dir, "s");
|