c5f4268c99
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.