diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2017-09-29 22:26:02 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2017-09-29 22:26:02 +0200 |
| commit | d1b32ad7890b5f32aba4db5ef798877fd333d573 (patch) | |
| tree | 6d65941aefd5e2b6733bf25d5ce817e41cb00d96 /kconfiglib.py | |
| parent | c8f8e742fce13c0cd86f1857785de141549aa781 (diff) | |
Move _is_header_line to a better spot
There's already a "misc." section. Also fix typo in docstring.
Diffstat (limited to 'kconfiglib.py')
| -rw-r--r-- | kconfiglib.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/kconfiglib.py b/kconfiglib.py index e1f9d29..283da60 100644 --- a/kconfiglib.py +++ b/kconfiglib.py @@ -1908,17 +1908,17 @@ class Config(object): additional_deps_str, "Locations: " + locations_str) - # - # Warnings and misc. - # - def _is_header_line(self, line): """Returns True is the line could be part of the initial header in a .config file (which is really just another comment, but can be handy - for storing metadata.""" + for storing metadata).""" return line is not None and line.startswith("#") and \ not self._unset_re.match(line) + # + # Warnings + # + def _warn(self, msg, filename=None, linenr=None): """For printing general warnings.""" if self._print_warnings: |
