diff --git a/Tools/scripts/build_binaries.py b/Tools/scripts/build_binaries.py
index aa1c56be79..c3975a70ef 100755
--- a/Tools/scripts/build_binaries.py
+++ b/Tools/scripts/build_binaries.py
@@ -88,7 +88,7 @@ class build_binaries(object):
 
     def board_options(self, board):
         '''return board-specific options'''
-        if board == "bebop":
+        if board in ["bebop", "disco"]:
             return ["--static"]
         return []