
17 Jul
2014
17 Jul
'14
11:17 a.m.
Masahiro Yamada (3): scripts: add scripts/gnu_make to not hard-code make command MAKEALL: make sure to invoke GNU Make buildman: make sure to invoke GNU Make
MAKEALL | 8 +++++--- scripts/gnu_make | 30 ++++++++++++++++++++++++++++++ tools/buildman/builder.py | 3 ++- 3 files changed, 37 insertions(+), 4 deletions(-) create mode 100755 scripts/gnu_make
--
1.9.1