diff options
| -rwxr-xr-x | configure.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.py b/configure.py index bdf960c95..db2beaca7 100755 --- a/configure.py +++ b/configure.py @@ -347,6 +347,11 @@ def process_command_line(args): if not enabled_or_disabled_isa(isa): options.disable_isa_extns.append(isa) + for isa in options.enable_isa_extns: + for dep in isa_deps.get(isa, '').split(','): + if not enabled_or_disabled_isa(dep): + options.enable_isa_extns.append(dep) + return options """ |