diff options
| author | Josh Poimboeuf <jpoimboe@redhat.com> | 2015-02-03 17:45:18 -0500 |
|---|---|---|
| committer | Jiri Kosina <jkosina@suse.cz> | 2015-02-04 05:25:51 -0500 |
| commit | 12cf89b550d13eb7cb86ef182bd6c04345a33a1f (patch) | |
| tree | 1836f4d7130559031079b7b611a67127b304dc50 /tools/perf/scripts/python | |
| parent | dbed7ddab967550d1181633e8ac7905808f29a94 (diff) | |
livepatch: rename config to CONFIG_LIVEPATCH
Rename CONFIG_LIVE_PATCHING to CONFIG_LIVEPATCH to make the naming of
the config and the code more consistent.
Signed-off-by: Josh Poimboeuf <jpoimboe@redhat.com>
Reviewed-by: Jingoo Han <jg1.han@samsung.com>
Signed-off-by: Jiri Kosina <jkosina@suse.cz>
Diffstat (limited to 'tools/perf/scripts/python')
0 files changed, 0 insertions, 0 deletions