mibuild/programmer: add migen folders to flash proxy search dirs

diff --git a/mibuild/programmer.py b/mibuild/programmer.py
index 6dc8defc080fcb54a1c89f7cfe7bb08e19c16e85..71a672818922c3c11e946ba336a23126a808fe1a 100644 (file)
--- a/mibuild/programmer.py
+++ b/mibuild/programmer.py
@@ -4,7 +4,9 @@ import os
 class Programmer:
        def __init__(self, flash_proxy_basename=None):
                self.flash_proxy_basename = flash_proxy_basename
-               self.flash_proxy_dirs = ["~/.mlabs", "/usr/local/share/mlabs", "/usr/share/mlabs"]
+               self.flash_proxy_dirs = [
+                       "~/.migen", "/usr/local/share/migen", "/usr/share/migen",
+                       "~/.mlabs", "/usr/local/share/mlabs", "/usr/share/mlabs"]
 
        def set_flash_proxy_dir(self, flash_proxy_dir):
                if flash_proxy_dir is not None: