Can specify extra arguments to generator commands. Closes #315.

1 files changed, 5 insertions, 1 deletions

diff --git a/build.py b/build.py
index 47221c1..06877a1 100644
--- a/build.py
+++ b/build.py
@@ -575,7 +575,7 @@ class Generator():
         return self.arglist
 
 class GeneratedList():
-    def __init__(self, generator):
+    def __init__(self, generator, extra_args=[]):
         if hasattr(generator, 'held_object'):
             generator = generator.held_object
         self.generator = generator
@@ -583,6 +583,7 @@ class GeneratedList():
         self.outfilelist = []
         self.outmap = {}
         self.extra_depends = []
+        self.extra_args = extra_args
 
     def add_file(self, newfile):
         self.infilelist.append(newfile)
@@ -602,6 +603,9 @@ class GeneratedList():
     def get_generator(self):
         return self.generator
 
+    def get_extra_args(self):
+        return self.extra_args
+
 class Executable(BuildTarget):
     def __init__(self, name, subdir, subproject, is_cross, sources, objects, environment, kwargs):
         super().__init__(name, subdir, subproject, is_cross, sources, objects, environment, kwargs)