]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool: Fix option --find in combination with option --local-dir.
authorBruno Haible <bruno@clisp.org>
Sun, 7 Aug 2022 12:09:03 +0000 (14:09 +0200)
committerBruno Haible <bruno@clisp.org>
Sun, 7 Aug 2022 21:04:16 +0000 (23:04 +0200)
commit858467abd14f2f513d407dbdc5a5093dc0147096
tree2b9c7815de834e5951dc990b735b3a9acdad6489
parent6a795cb6b5c9f2b42058f444c61291f751c356e2
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.
ChangeLog
gnulib-tool