Commit f948d1813a3545c75ba79087e6cb52b51d44dfe6

Bruno Haible 2024-04-11T21:49:45

gnulib-tool.py: Optimize module set lookups. * gnulib-tool.py (profiler_args): New variable. * pygnulib/GLModuleSystem.py (GLModuleTable.transitive_closure): Turn handledmodules into a set. (GLModuleTable.transitive_closure_separately): For the 'in' test, use a set variable main_modules_set.