make.py: add set_flash_proxy_dir to flash-bios
authorFlorent Kermarrec <florent@enjoy-digital.fr>
Thu, 21 Aug 2014 11:32:32 +0000 (13:32 +0200)
committerSebastien Bourdeauducq <sb@m-labs.hk>
Fri, 22 Aug 2014 07:04:50 +0000 (15:04 +0800)
commit3eabec28cdd54eb9f14d2d456081ae1d15201377
tree3fa81a14970780be22358fe723569a27f48802c1
parent2f2a57dd34406697db2a88993afb1dc9c099010c
make.py: add set_flash_proxy_dir to flash-bios
make.py