diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-03-13 03:24:41 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-03-13 05:04:44 +0100 |
| commit | daac69dc05217d024fbe021447629fa2b3d95b70 (patch) | |
| tree | f2149a160786eeb2919ec1713903bf262a9e6ed0 /examples/help_grep.py | |
| parent | af2935913650dd0517666dcf8a0d4e68f8d62e34 (diff) | |
Add a globbing source statement
'gsource' works like 'source', but takes a glob pattern and sources all
matching files. Works as a no-op if no files match, and hence doubles as
an include-if-exists function, similar to '-include' in 'make'.
Add a 'grsource' statement as well, mirroring 'rsource'.
Came up in https://github.com/ulfalizer/Kconfiglib/pull/40.
Diffstat (limited to 'examples/help_grep.py')
0 files changed, 0 insertions, 0 deletions