make.py: add platform-option
authorSebastien Bourdeauducq <sb@m-labs.hk>
Sat, 7 Jun 2014 11:43:23 +0000 (13:43 +0200)
committerSebastien Bourdeauducq <sb@m-labs.hk>
Sat, 7 Jun 2014 11:43:23 +0000 (13:43 +0200)
commite5ca0c5ed5d75bd4292a700a499f04bcf7d66095
tree9798b1b2e6c59855ff66e0682058a293c44fe4b6
parent4c2a2090b143dda952b4752458ea2d4598bafe2f
make.py: add platform-option
make.py