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 /ChangeLog | |
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 'ChangeLog')
-rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,5 +1,10 @@ 2022-08-07 Bruno Haible <bruno@clisp.org> + 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. + gnulib-tool.py: Fix some regexes. * pygnulib/GLEmiter.py (GLEmiter.lib_Makefile_am): Use an equivalent regex as gnulib-tool. |