diff options
| author | Bruno Haible <bruno@clisp.org> | 2022-08-07 14:09:03 +0200 |
|---|---|---|
| committer | Bruno Haible <bruno@clisp.org> | 2022-08-07 23:04:16 +0200 |
| commit | 858467abd14f2f513d407dbdc5a5093dc0147096 (patch) | |
| tree | 2b9c7815de834e5951dc990b735b3a9acdad6489 /gnulib-tool.py | |
| parent | 6a795cb6b5c9f2b42058f444c61291f751c356e2 (diff) | |
| download | gnulib-858467abd14f2f513d407dbdc5a5093dc0147096.tar.gz | |
gnulib-tool: Fix option --find in combination with option --local-dir.
* gnulib-tool (func_prefixed_modules_in_dir): New function.
(find): Use it, and filter the directory names away after the 'grep'
pass.
Diffstat (limited to 'gnulib-tool.py')
0 files changed, 0 insertions, 0 deletions