diff options
Diffstat (limited to 'devbot/build.py')
| -rw-r--r-- | devbot/build.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/devbot/build.py b/devbot/build.py index 2a101e2..5ea9422 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -111,6 +111,10 @@ def _eval_option(option): return eval(option, {"prefix": config.prefix_dir}) def _build_autotools(module, log): + # Workaround for aclocal 1.11 (fixed in 1.12) + aclocal_path = os.path.join(config.share_dir, "aclocal") + utils.ensure_dir(aclocal_path) + makefile_path = os.path.join(module.get_build_dir(), "Makefile") if not os.path.exists(makefile_path): |