From 3eabec28cdd54eb9f14d2d456081ae1d15201377 Mon Sep 17 00:00:00 2001
From: Florent Kermarrec <florent@enjoy-digital.fr>
Date: Thu, 21 Aug 2014 13:32:32 +0200
Subject: [PATCH] make.py: add set_flash_proxy_dir to flash-bios

---
 make.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/make.py b/make.py
index 91991da4f..98bee0b3b 100755
--- 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")