tree 1836f4d7130559031079b7b611a67127b304dc50
parent dbed7ddab967550d1181633e8ac7905808f29a94
author Josh Poimboeuf <jpoimboe@redhat.com> 1423003518 -0600
committer Jiri Kosina <jkosina@suse.cz> 1423045551 +0100

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>