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.TODO | |
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.TODO')
0 files changed, 0 insertions, 0 deletions