diff options
| author | Tamas TEVESZ <ice@extreme.hu> | 2017-06-07 17:51:01 +0200 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-06-08 13:42:23 +1000 |
| commit | d80c951f719ee342da1a7ba5ff63b134b46ff1f2 (patch) | |
| tree | 6594fef684cf39962fe92cab2dd0be1b44aa843d /docs/library/pyb.Timer.rst | |
| parent | 1dd18c5260141f68cee5b071345585721a152dd8 (diff) | |
unix/Makefile: replace references to make with $(MAKE)
make is not always GNU make; the latter may go by different names.
This helps builds on systems where the default make is not GNU make.
Diffstat (limited to 'docs/library/pyb.Timer.rst')
0 files changed, 0 insertions, 0 deletions