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)
make.py

diff --git a/make.py b/make.py
index 91991da4fcab1f470d616fec7bad908fb54c5a7c..98bee0b3b10dd9db29507f5e93fae4ba58ec4d8b 100755 (executable)
--- a/make.py
+++ b/make.py
@@ -199,4 +199,5 @@ CPU type:  {}
                                flashbit = "build/" + build_name + ".bin"
                        prog.flash(0, flashbit)
                if actions["flash-bios"]:
+                       prog.set_flash_proxy_dir(args.flash_proxy_dir)
                        prog.flash(soc.cpu_reset_address, "software/bios/bios.bin")