diff options
Diffstat (limited to 'devbot/build.py')
-rw-r--r-- | devbot/build.py | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/devbot/build.py b/devbot/build.py index 78ad400..d6f42fb 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -82,9 +82,12 @@ def build_autotools(module): jobs = multiprocessing.cpu_count() * 2 - command.run([autogen, - "--prefix", config.install_dir, - "--libdir", config.lib_dir]) + args = [autogen, + "--prefix", config.install_dir, + "--libdir", config.lib_dir] + args.extend(module.options) + + command.run(args) command.run(["make", "-j", "%d" % jobs]) command.run(["make", "install"]) |