livepatch: rename config to CONFIG_LIVEPATCH
authorJosh Poimboeuf <jpoimboe@redhat.com>
Tue, 3 Feb 2015 22:45:18 +0000 (16:45 -0600)
committerJiri Kosina <jkosina@suse.cz>
Wed, 4 Feb 2015 10:25:51 +0000 (11:25 +0100)
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>

No differences found