projects / annotations.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f36ebd) | patch
annotations: accept config options with or without CONFIG_ prefix
authorAndrea Righi <andrea.righi@canonical.com>
Mon, 5 Dec 2022 06:44:25 +0000 (07:44 +0100)
committerAndrea Righi <andrea.righi@canonical.com>
Mon, 30 Jan 2023 08:12:19 +0000 (09:12 +0100)
commitec031fb92728027ffcd6b64283d4118e739d40c2
tree7f1d71f1fb76bb1a832e7ee5c299cee75dcc4515tree | snapshot (zip tar.gz)
parent7f36ebd8fd301536775df1ebdce5caecb8ef757bcommit | diff
annotations: accept config options with or without CONFIG_ prefix

Allow to specify config options with or without CONFIG_ prefix in the
commands --write and --note, to be consistent with --query that already
accepts both formats.

Reported-by: Masahiro Yamada <masahiro.yamada@canonical.com>
Signed-off-by: Andrea Righi <andrea.righi@canonical.com>
annotations diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.