diff options
| author | David Lechner <david@pybricks.com> | 2020-02-12 17:13:39 -0600 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-02-16 23:35:52 +1100 |
| commit | c5f4268c9955f08894fec78c1eeacf78f55256c4 (patch) | |
| tree | 0cf7166726ee457698d7c2c1206dae88d39efbdf /py/objfloat.c | |
| parent | d2f22ea9531ee7e61d3e3c8b818797fd3e947b01 (diff) | |
unix/variants/standard: Fix role of PREFIX when used to install.
Currently it is not possible to override PREFIX when installing micropython
using the makefile. It is common practice to be able to run something like
this:
$ make install PREFIX=/usr DESTDIR=/tmp/staging
This fixes such usage.
Diffstat (limited to 'py/objfloat.c')
0 files changed, 0 insertions, 0 deletions