Martine Lenders 37a5e8700f

Merge pull request #14459 from miri64/tools/enh/make-env ...

tools: add capability to provide make command via environment

2020-07-09 12:20:09 +02:00

..

01-make.py

Merge pull request #14459 from miri64/tools/enh/make-env

2020-07-09 12:20:09 +02:00